Abstract is missing.
- A New Approach to Memory Partitioning in On-Board Spacecraft SoftwareSantiago Urueña, José Antonio Pulido, Jorge López, Juan Zamorano, Juan Antonio de la Puente. 1-14 [doi]
- Design and Development of Component-Based Embedded Systems for Automotive ApplicationsMarco Di Natale. 15-29 [doi]
- On the Timed Automata-Based Verification of Ravenscar SystemsIulian Ober, Nicolas Halbwachs. 30-43 [doi]
- Operational Semantics of Ada RavenscarIrfan Hamid, Elie Najm. 44-58 [doi]
- Practical, Fast and Simple Concurrent FIFO Queues Using Single Word Synchronization PrimitivesClaude Evéquoz. 59-72 [doi]
- A Modelling Approach with Coloured Petri NetsChristine Choppy, Laure Petrucci, Gianna Reggio. 73-86 [doi]
- A Tailored V-Model Exploiting the Theory of Preemptive Time Petri NetsLaura Carnevali, Leonardo Grassi, Enrico Vicario. 87-100 [doi]
- Concurrent Program Metrics Drawn by QuasarClaude Kaiser, Christophe Pajault, Jean-François Pradat-Peyre. 101-114 [doi]
- A Comparison of the Object-Oriented Features of Ada 2005 and JavaTMBenjamin M. Brosgol. 115-129 [doi]
- A Framework for CFG-Based Static Program Analysis of Ada ProgramsRaul Fechete, Georg Kienesberger, Johann Blieberger. 130-143 [doi]
- A Type-Safe Database InterfaceFlorian Villoing, Emmanuel Briot. 144-157 [doi]
- StateML:::+s:::: From Graphical State Machine Models to Thread-Safe Ada CodeDiego Alonso, Cristina Vicente-Chicote, Juan A. Pastor, Bárbara Álvarez. 158-170 [doi]
- Experience in the Integration of Heterogeneous Models in the Model-driven Engineering of High-Integrity SystemsMatteo Bordin, Thanassis Tsiodras, Maxime Perrotin. 171-184 [doi]
- A Systematic Approach to Automatically Generate Multiple Semantically Equivalent Program VersionsSri Hari Krishna Narayanan, Mahmut T. Kandemir. 185-198 [doi]
- Increasing Confidence in Concurrent Software through Architectural AnalysisRobert G. Pettit IV. 199-210 [doi]
- Fast Scheduling of Distributable Real-Time Threads with Assured End-to-End TimelinessSherif Fadel Fahmy, Binoy Ravindran, E. Douglas Jensen. 211-225 [doi]
- RCanalyser: A Flexible Framework for the Detection of Data Races in Parallel ProgramsAoun Raza, Gunther Vogel. 226-239 [doi]
- Can We Increase the Usability of Real Time Scheduling Theory? The Cheddar ProjectFrank Singhoff, Alain Plantec, Pierre Dissaux. 240-253 [doi]
- An Ada 2005 Technology for Distributed and Real-Time Component-Based ApplicationsPatricia López Martínez, José M. Drake, Pablo Pacheco, Julio L. Medina. 254-267 [doi]
- Real-Time Distribution Middleware from the Ada PerspectiveHéctor Pérez, J. Javier Gutiérrez, Daniel Sangorrín, Michael González Harbour. 268-281 [doi]