Fabrice Kordon, Tullio Vardanega
Proceedings of the 13th Ada-Europe International Conference on Reliable Software Technologies
Ada-Europe, 2008.

@proceedings{AdaEurope-2008,
	address       = "Venice, Italy",
	editor        = "Fabrice Kordon and Tullio Vardanega",
	isbn          = "978-3-540-68621-7",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 13th Ada-Europe International Conference on Reliable Software Technologies}",
	volume        = 5026,
	year          = 2008,
}

Contents (20 items)

6 ×#ada
4 ×#realtime
3 ×#approach
3 ×#concurrent
3 ×#modelling
2 ×#component
2 ×#framework
2 ×#performance
2 ×#petri net
2 ×#scheduling

AdaEurope-2008-UruenaPLZP #approach #clustering #memory management

A New Approach to Memory Partitioning in On-Board Spacecraft Software (SU, JAP, JL, JZ, JAdlP), pp. 1–14.

AdaEurope-2008-Natale #component #design #development #embedded

Design and Development of Component-Based Embedded Systems for Automotive Applications (MDN), pp. 15–29.

AdaEurope-2008-OberH #on the #verification

On the Timed Automata-Based Verification of Ravenscar Systems (IO, NH), pp. 30–43.

AdaEurope-2008-HamidN #ada #semantics

Operational Semantics of Ada Ravenscar (IH, EN), pp. 44–58.

AdaEurope-2008-Evequoz #concurrent #performance #using #word

Practical, Fast and Simple Concurrent FIFO Queues Using Single Word Synchronization Primitives (CE), pp. 59–72.

AdaEurope-2008-ChoppyPR #approach #modelling #petri net

A Modelling Approach with Coloured Petri Nets (CC, LP, GR), pp. 73–86.

AdaEurope-2008-CarnevaliGV #formal method #petri net

A Tailored V-Model Exploiting the Theory of Preemptive Time Petri Nets (LC, LG, EV), pp. 87–100.

AdaEurope-2008-KaiserPP #concurrent #metric

Concurrent Program Metrics Drawn by Quasar (CK, CP, JFPP), pp. 101–114.

AdaEurope-2008-Brosgol #ada #comparison #java #object-oriented

A Comparison of the Object-Oriented Features of Ada 2005 and JavaTM (BMB), pp. 115–129.

AdaEurope-2008-FecheteKB #ada #framework #program analysis #source code

A Framework for CFG-Based Static Program Analysis of Ada Programs (RF, GK, JB), pp. 130–143.

AdaEurope-2008-VilloingB #database #interface #type safety

A Type-Safe Database Interface (FV, EB), pp. 144–157.

AdaEurope-2008-AlonsoVPA #ada #modelling #state machine #thread #visual notation

StateML+s: From Graphical State Machine Models to Thread-Safe Ada Code (DA, CVC, JAP, BÁ), pp. 158–170.

AdaEurope-2008-BordinTP #experience #integration #modelling

Experience in the Integration of Heterogeneous Models in the Model-driven Engineering of High-Integrity Systems (MB, TT, MP), pp. 171–184.

AdaEurope-2008-NarayananK #approach #automation #multi #semantics

A Systematic Approach to Automatically Generate Multiple Semantically Equivalent Program Versions (SHKN, MTK), pp. 185–198.

AdaEurope-2008-Pettit #analysis #architecture #concurrent

Increasing Confidence in Concurrent Software through Architectural Analysis (RGPI), pp. 199–210.

AdaEurope-2008-FahmyRJ #performance #realtime #scheduling #thread

Fast Scheduling of Distributable Real-Time Threads with Assured End-to-End Timeliness (SFF, BR, EDJ), pp. 211–225.

AdaEurope-2008-RazaV #detection #flexibility #framework #named #parallel #source code

RCanalyser: A Flexible Framework for the Detection of Data Races in Parallel Programs (AR, GV), pp. 226–239.

AdaEurope-2008-SinghoffPD #realtime #scheduling #usability

Can We Increase the Usability of Real Time Scheduling Theory? The Cheddar Project (FS, AP, PD), pp. 240–253.

AdaEurope-2008-MartinezDPM #ada #component #distributed #realtime

An Ada 2005 Technology for Distributed and Real-Time Component-Based Applications (PLM, JMD, PP, JLM), pp. 254–267.

AdaEurope-2008-PerezGSH #ada #middleware #perspective #realtime

Real-Time Distribution Middleware from the Ada Perspective (HP, JJG, DS, MGH), pp. 268–281.