Search results for "Ravenscar"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
141	Diyaa-Addein Atiya, Steve King 0001	Extending Ravenscar with CSP Channels.	Ada-Europe	2005	DBLP DOI BibTeX RDF
116	Tullio Vardanega, Juan Zamorano, Juan Antonio de la Puente	On the Dynamic Semantics and the Timing Behavior of Ravenscar Kernels.	Real Time Syst.	2005	DBLP DOI BibTeX RDF	tasking restrictions, Real-time systems, concurrent programming, static timing analysis, response time analysis, Ravenscar Profile
107	Hao Cai, Andy J. Wellings	Supporting Mixed Criticality Applications in a Ravenscar-Java Environment.	OTM Workshops	2004	DBLP DOI BibTeX RDF
107	Kristina Lundqvist, Lars Asplund	A Formal Model of a Run-Time Kernel for Ravenscar.	RTCSA	1999	DBLP DOI BibTeX RDF
100	Kristina Lundqvist, Lars Asplund, Stephen Mitchell	A Formal Model of the Ada Ravenscar Tasking Profile; Protected Objects.	Ada-Europe	1999	DBLP DOI BibTeX RDF	Ravenscar, Formal Methods, Run-Time System, UPPAAL, Ada Tasking, Protected Objects
91	William Currie Colket	Code analysis of saftey-critical and real-time software using ASIS.	SIGAda	1999	DBLP DOI BibTeX RDF	real-time, tasking, safety-critical, code analysis, ASIS, high integrity, Ada language, Ravenscar profile
91	Romain Berrendonner, Jérôme Guitton	The ESA Ravenscar Benchmark.	Ada-Europe	2005	DBLP DOI BibTeX RDF
83	Diyaa-Addein Atiya, Steve King 0001, Jim Woodcock 0001	A Circus Semantics for Ravenscar Protected Objects.	FME	2003	DBLP DOI BibTeX RDF	Ravenscar, Ada Protected Objects, Formal Semantics, Z, Circus
74	Mike Kamrad, Barry A. Spinney	An Ada Runtime System Implementation of the Ravenscar Profile for High Speed Application-Layer Data Switch.	Ada-Europe	1999	DBLP DOI BibTeX RDF
58	Irfan Hamid, Elie Najm	Operational Semantics of Ada Ravenscar.	Ada-Europe	2008	DBLP DOI BibTeX RDF
58	Iulian Ober, Nicolas Halbwachs	On the Timed Automata-Based Verification of Ravenscar Systems.	Ada-Europe	2008	DBLP DOI BibTeX RDF
58	Matteo Bordin, Tullio Vardanega	Automated Model-Based Generation of Ravenscar-Compliant Source Code.	ECRTS	2005	DBLP DOI BibTeX RDF
58	Hao Cai, Andy J. Wellings	A Real-Time Isolate Specification for Ravenscar-Java.	ISORC	2004	DBLP DOI BibTeX RDF
58	Juan Zamorano, Alejandro Alonso 0001, José Antonio Pulido, Juan Antonio de la Puente	Implementing Execution-Time Clocks for the Ada Ravenscar Profile.	Ada-Europe	2004	DBLP DOI BibTeX RDF
58	Alan Burns 0001, Tse-Min Lin	Adding Temporal Annotations and Associated Verification to Ravenscar Profile.	Ada-Europe	2003	DBLP DOI BibTeX RDF
58	Alan Burns 0001, Brian Dobbing, George Romanski	The Ravenscar Tasking Profile for High Integrity Real-Time Programs.	Ada-Europe	1998	DBLP DOI BibTeX RDF
50	Brian Dobbing, Alan Burns 0001	The Ravenscar Tasking Profile for High Integrity Real-Time Programs.	SIGAda	1998	DBLP DOI BibTeX RDF	Ravenscar, Ada, Ada, tasking, safety-critical, high-integrity
50	José F. Ruiz	GNAT Pro for On-board Mission-Critical Space Applications.	Ada-Europe	2005	DBLP DOI BibTeX RDF
50	Paolo Carletto, Tullio Vardanega	Ravenscar-EDF: Comparative Benchmarking of an EDF Variant of a Ravenscar Runtime.	Ada-Europe	2017	DBLP DOI BibTeX RDF
50	Tullio Vardanega	Ravenscar design patterns?: reflections on use of the Ravenscar profile.	IRTAW	2003	DBLP DOI BibTeX RDF
42	Santiago Urueña, Juan Zamorano, Juan Antonio de la Puente	A Restricted Middleware Profile for High-Integrity Distributed Real-Time Systems.	Ada-Europe	2009	DBLP DOI BibTeX RDF	distributed systems, real-time systems, Ada 2005, high-integrity systems, Ravenscar profile
42	Irfan Hamid, Bechir Zalila, Elie Najm, Jérôme Hugues	Automatic framework generation for hard real-time applications.	Innov. Syst. Softw. Eng.	2008	DBLP DOI BibTeX RDF	Ravenscar, Real-time, Ada, Code generation, Model transformation, AADL
42	Alan Burns 0001, Tse-Min Lin	An engineering process for the verification of real-time systems.	Formal Aspects Comput.	2007	DBLP DOI BibTeX RDF	Rely/guarantee conditions, Model checking, Scheduling analysis, UPPAAL, SPARK, Ada95, Ravenscar profile
41	Santiago Urueña, Juan Zamorano, Daniel Berjón, José Antonio Pulido, Juan Antonio de la Puente	Schedulability analysis of AR-TP, a Ravenscar compliant communication protocol for high-integrity distributed systems.	IPDPS	2006	DBLP DOI BibTeX RDF
41	Santiago Urueña, Juan Zamorano, Daniel Berjón, José Antonio Pulido, Juan Antonio de la Puente	The Arbitrated Real-Time Protocol (AR-TP): A Ravenscar Compliant Communication Protocol for High-Integrity Distributed Systems.	Ada-Europe	2006	DBLP DOI BibTeX RDF
41	Hao Cai, Andy J. Wellings	Temporal Isolation in Ravenscar-Java.	ISORC	2005	DBLP DOI BibTeX RDF
41	Gustaf Naeser, Johan Furunäs	Extended abstract: evaluation of delay queues for a Ravenscar HW kernel.	MEMOCODE	2005	DBLP DOI BibTeX RDF
41	Jagun Kwon, Andy J. Wellings, Steve King 0001	Predictable Memory Utilization in the Ravenscar-Java Profile.	ISORC	2003	DBLP DOI BibTeX RDF
41	Peter Amey, Brian Dobbing	High Integrity Ravenscar.	Ada-Europe	2003	DBLP DOI BibTeX RDF
41	Michael Ward, Neil C. Audsley	Hardware implementation of the Ravenscar Ada tasking profile.	CASES	2002	DBLP DOI BibTeX RDF	FPGA, timing, hardware compilation
41	Luís Miguel Pinho, Francisco Vasques	Transparent Environment for Replicated Ravenscar Applications.	Ada-Europe	2002	DBLP DOI BibTeX RDF
41	Tullio Vardanega, Rodrigo García, Juan Antonio de la Puente	An Application Case for Ravenscar Technology: Porting OBOSS to GNAT/ORK.	Ada-Europe	2001	DBLP DOI BibTeX RDF
41	Juan Antonio de la Puente, José F. Ruiz, Juan Zamorano	An Open Ravenscar Real-Time Kernel for GNAT.	Ada-Europe	2000	DBLP DOI BibTeX RDF
41	Kristina Lundqvist, Lars Asplund	A formal model of the Ada Ravenscar tasking profile; delay until.	SIGAda	1999	DBLP DOI BibTeX RDF
33	Bechir Zalila, Irfan Hamid, Jérôme Hugues, Laurent Pautet	Generating Distributed High Integrity Applications from Their Architectural Description.	Ada-Europe	2007	DBLP DOI BibTeX RDF
33	Jagun Kwon, Andy J. Wellings	Memory Management Based on Method Invocation in RTSJ.	OTM Workshops	2004	DBLP DOI BibTeX RDF
33	Joyce L. Tokar	New Developments in Ada 95 Run-Time Profile Definitions and Language Refinements.	Ada-Europe	2001	DBLP DOI BibTeX RDF
25	Santiago Urueña, José Antonio Pulido, Jorge López, Juan Zamorano, Juan Antonio de la Puente	A New Approach to Memory Partitioning in On-Board Spacecraft Software.	Ada-Europe	2008	DBLP DOI BibTeX RDF	Ravenscar Ada, integrated modular avionics, embedded systems, hard real-time, high-integrity
25	Matteo Bordin, Tullio Vardanega	Correctness by Construction for High-Integrity Real-Time Systems: A Metamodel-Driven Approach.	Ada-Europe	2007	DBLP DOI BibTeX RDF	Model-Driven Architecture, Metamodelling, Correctness by construction, Ravenscar Profile
25	Claudia Rinaldi, Fabio Romano, Paolo Serri, Luca Tiberi	A practical approach for the porting of the Ravenscar profile from ADA to C: method, rules adaptation and supporting tools.	Int. J. Comput. Appl. Technol.	2022	DBLP DOI BibTeX RDF
25	Dilan Perale, Tullio Vardanega	Removing bias from the judgment day: A Ravenscar-based toolbox for quantitative comparison of EDF-to-RM uniprocessor scheduling.	J. Syst. Archit.	2021	DBLP DOI BibTeX RDF
25	Luigi Pomante, Fabio Romano, Paolo Serri	Ada Ravenscar Profile and C language: Rules Porting and Compatibility Checks Automation.	MECO	2020	DBLP DOI BibTeX RDF
25	Rahma Bouaziz 0002, Laurent Lemarchand, Frank Singhoff, Bechir Zalila, Mohamed Jmaiel	Multi-objective design exploration approach for Ravenscar real-time systems.	Real Time Syst.	2018	DBLP DOI BibTeX RDF
25	Jorge Real, Sergio Sáez, Alfons Crespo	Combined Scheduling of Time-Triggered and Priority-Based Task Sets in Ravenscar.	Ada-Europe	2018	DBLP DOI BibTeX RDF
25	Jorge Garrido, Juan Zamorano, Alejandro Alonso 0001, Juan Antonio de la Puente	Evaluating MSRP and MrsP with the Multiprocessor Ravenscar Profile.	Ada-Europe	2017	DBLP DOI BibTeX RDF
25	Patrick Rogers, José F. Ruiz, Tristan Gingold, Patrick Bernardi	A New Ravenscar-Based Profile.	Ada-Europe	2017	DBLP DOI BibTeX RDF
25	Neeraj Kumar Singh 0001, Andy J. Wellings, Ana Cavalcanti 0001	The cardiac pacemaker case study and its implementation in safety-critical Java and Ravenscar Ada.	JTRES	2012	DBLP DOI BibTeX RDF
25	Marco Panunzio, Tullio Vardanega	Ada Ravenscar Code Archetypes for Component-Based Development.	Ada-Europe	2012	DBLP DOI BibTeX RDF
25	Fabien Chouteau, José F. Ruiz	Design and Implementation of a Ravenscar Extension for Multiprocessors.	Ada-Europe	2011	DBLP DOI BibTeX RDF
25	Enrico Mezzetti, Marco Panunzio, Tullio Vardanega	Preservation of Timing Properties with the Ada Ravenscar Profile.	Ada-Europe	2010	DBLP DOI BibTeX RDF
25	Kristoffer Nyborg Gregertsen, Amund Skavhaug	An efficient and deterministic multi-tasking run-time environment for Ada and the Ravenscar profile on the Atmel AVR®32 UC3 microcontroller.	DATE	2009	DBLP DOI BibTeX RDF
25	Kristoffer Nyborg Gregertsen, Amund Skavhaug	A Real-Time Framework for Ada 2005 and the Ravenscar Profile.	EUROMICRO-SEAA	2009	DBLP DOI BibTeX RDF
25	Santiago Urueña, Juan Zamorano	Building high-integrity distributed systems with Ravenscar restrictions.	IRTAW	2007	DBLP DOI BibTeX RDF
25	Chang-Jin Kim 0002, Jin-Young Choi	Transformation of the Ravenscar Profile Based Ada Real-time Application to the Verification-ready Statecharts: Reverse Engineering and Statemate approach.	Software Engineering Research and Practice	2006	DBLP BibTeX RDF
25	Jagun Kwon, Andy J. Wellings	Motivations and support for single nested scoping in Ravenscar-Java.	SEUS/WCCIA	2006	DBLP DOI BibTeX RDF
25	Hans Søndergaard, Bent Thomsen, Anders P. Ravn	A Ravenscar-Java profile implementation.	JTRES	2006	DBLP DOI BibTeX RDF
25	Jagun Kwon	Ravenscar-Java: Java Technology for High-Integrity Real-Time Systems.		2006	RDF
25	Jagun Kwon, Andy J. Wellings, Steve King 0001	Ravenscar-Java: a high-integrity profile for real-time Java.	Concurr. Pract. Exp.	2005	DBLP DOI BibTeX RDF
25	Kristina Lundqvist, Lars Asplund	A Ravenscar-Compliant Run-time Kernel for Safety-Critical Systems.	Real Time Syst.	2003	DBLP DOI BibTeX RDF
25	Ricardo Maia, Flávio Moreira, R. Barbosa, Diamantino Costa, Kjeld Hjortaes, Patricia Rodríguez, Luís Miguel Pinho	Verifying, validating and monitoring the open Ravenscar real time kernel.	IRTAW	2003	DBLP DOI BibTeX RDF
25	Brian Dobbing, Juan Antonio de la Puente	Session: status and future of the Ravenscar profile.	IRTAW	2003	DBLP DOI BibTeX RDF
25	Juan Antonio de la Puente, Juan Zamorano	Execution-time clocks and Ravenscar kernels.	IRTAW	2003	DBLP DOI BibTeX RDF
25	Peter Amey, Brian Dobbing	Static analysis of Ravenscar programs.	IRTAW	2003	DBLP DOI BibTeX RDF
25	Jagun Kwon, Andy J. Wellings, Steve King 0001	Ravenscar-Java: a high integrity profile for real-time Java.	Java Grande	2002	DBLP DOI BibTeX RDF	profile, real-time Java, high integrity systems
25	Stephen Michell	Practical implementations of embedded software using the Ravenscar Profile.	IRTAW	2002	DBLP DOI BibTeX RDF
25	David Brach, P. Eng	User experiences with the Aonix ObjectAda RAVEN: Ravenscar Profile implementation.	IRTAW	2002	DBLP DOI BibTeX RDF
25	Alan Burns 0001, Ben Brosgol	Session summary: future of the Ada language and language changes such as the Ravenscar profile.	IRTAW	2002	DBLP DOI BibTeX RDF
25	Luís Miguel Pinho, Francisco Vasques	Using Ravenscar to support fault-tolerant real-time applications.	IRTAW	2002	DBLP DOI BibTeX RDF
25	Juan Zamorano, Juan Antonio de la Puente	Precise response time analysis for Ravenscar kernels.	IRTAW	2002	DBLP DOI BibTeX RDF
25	Andy J. Wellings	Status and future of the Ravenscar profile session summary.	IRTAW	2000	DBLP DOI BibTeX RDF
25	Alejandro Alonso 0001, Juan Antonio de la Puente	Implementation of mode changes with the Ravenscar profile.	IRTAW	2000	DBLP DOI BibTeX RDF
25	Neil C. Audsley, Andy J. Wellings	Issues with using Ravenscar and the Ada distributed systems annex for high-integrity systems.	IRTAW	2000	DBLP DOI BibTeX RDF
25	Tullio Vardanega, Gert Caspersen	Using the Ravenscar profile for space applications: the OBOSS case.	IRTAW	2000	DBLP DOI BibTeX RDF
25	Stephen Michell	Position paper: completing the Ravenscar profile.	IRTAW	2000	DBLP DOI BibTeX RDF
25	Juan Antonio de la Puente, Juan Zamorano, José F. Ruiz, Ramón Fernández 0002, Rodrigo García	The design and implementation of the open Ravenscar kernel.	IRTAW	2000	DBLP DOI BibTeX RDF
25	Brian Dobbing	The Ravenscar profile for high-integrity Java programs?	IRTAW	2000	DBLP DOI BibTeX RDF
25	Alan Burns 0001	The Ravenscar Profile and implementation issues (session summary).	IRTAW	1999	DBLP DOI BibTeX RDF
25	Brian Dobbing, George Romanski	The Ravenscar Tasking Profile - experience reporting.	IRTAW	1999	DBLP DOI BibTeX RDF
25	Andy J. Wellings (eds.)	Proceedings of the Eighth International Workshop on Real-Time Ada, IRTAW 1997, Ravenscar, United Kingdom, 1997	IRTAW	1997	DBLP DOI BibTeX RDF
25	Brian G. Ujvary, Nick I. Kamenoff, Jorge L. Díaz-Herrera	Benchmarking of hard real-time distributed systems with Ada 95.	IRTAW	1997	DBLP DOI BibTeX RDF
25	Alan Burns 0001, Andy J. Wellings	Restricted tasking models.	IRTAW	1997	DBLP DOI BibTeX RDF
25	Scott Arthur Moody	Object-oriented real-time systems using a hybrid distributed model of Ada 95's built-in DSA capability (distributed systems annex-E) and CORBA.	IRTAW	1997	DBLP DOI BibTeX RDF
25	Richard D. Powers	Implementing CIFO using Ada 95 and POSIX.	IRTAW	1997	DBLP DOI BibTeX RDF
25	Steve Vestal, Laurent Guerby, Robert Dewar, David J. McConnell, Bruce A. Lewis	Reimplementing a multiprocess distributed paradigm for real-time systems in Ada 95.	IRTAW	1997	DBLP DOI BibTeX RDF
25	Brian Dobbing, Marc Richard-Foy	T-SMART - task-safe, minimal Ada realtime toolset.	IRTAW	1997	DBLP DOI BibTeX RDF
25	Andy J. Wellings, Juan Antonio de la Puente	Object-oriented programming and real-time (session summary).	IRTAW	1997	DBLP DOI BibTeX RDF
25	Anthony B. Gargaro, Gary W. Smith, Ronald J. Theriault, Richard A. Volz, Raymond Waldrop	Future directions in Ada - distributed execution and heterogeneous language interoperability toolsets.	IRTAW	1997	DBLP DOI BibTeX RDF
25	Patrick de Bondeli	A fully reusable class of objects for synchronization and communication in Ada 95.	IRTAW	1997	DBLP DOI BibTeX RDF
25	Offer Pazy, Mike Kamrad	Outstanding language (session summary).	IRTAW	1997	DBLP DOI BibTeX RDF
25	Michael González Harbour, J. M. Drake Moyano, Mario Aldea Rivas, J. García Fernández	Implementing robot controllers under real-time POSIX and Ada.	IRTAW	1997	DBLP DOI BibTeX RDF
25	Stephen Michell, Dan Craigen, Mark Saaltink	Using analytical approaches for high integrity Ada95 systems.	IRTAW	1997	DBLP DOI BibTeX RDF
25	Thomas Wolf 0013	Fault tolerance in distributed Ada 95.	IRTAW	1997	DBLP DOI BibTeX RDF
25	Pierre Dissaux, Laurent Pautet, Lars Björnfot, Yvon Kermarrec, Dominique LeCampion	Communication and distribution tools for embedded distributed applications: a case study with Ada 95 and its distributed systems annex.	IRTAW	1997	DBLP DOI BibTeX RDF
25	Alan Burns 0001, Andy J. Wellings	Feature interactions with dynamic priorities.	IRTAW	1997	DBLP DOI BibTeX RDF
25	Alan Burns 0001, Ted Baker, Tullio Vardanega	Tasking profiles (session summary).	IRTAW	1997	DBLP DOI BibTeX RDF
25	Andy J. Wellings, Alan Burns 0001, Offer Pazy	Task termination and Ada 95.	IRTAW	1997	DBLP DOI BibTeX RDF
25	Patrick de Bondeli	Developing reusable multi-tasking components using object-oriented techniques in Ada 95.	IRTAW	1997	DBLP DOI BibTeX RDF
25	Alejandro Alonso 0001, Juan Antonio de la Puente, Ken Tindell	Components for the implementation of fixed priority real-time systems in ADA.	IRTAW	1997	DBLP DOI BibTeX RDF
25	Anthony B. Gargaro, C. Douglass Locke, Richard A. Volz	Distributed and fault tolerant systems (session summary).	IRTAW	1997	DBLP DOI BibTeX RDF
25	David J. Tombs	Using compliance notation to verify Ada tasking.	IRTAW	1997	DBLP DOI BibTeX RDF