This book constitutes the refereed proceedings of the 13th International Conference on Reliable Software Technologies, Ada-Europe 2008, held in Venice, Italy, in June 2008.
The 20 revised full papers presented were carefully reviewed and selected from numerous submissions. The conference proceedings published in this volume cover topics ranging from formal verification to real-time systems via concurrency, embedded systems, language technologies, model-driven engineering and applications of Petri Nets.
Author(s): Santiago Urueña, José A. Pulido, Jorge López (auth.), Fabrice Kordon, Tullio Vardanega (eds.)
Series: Lecture Notes in Computer Science 5026 : Programming and Software Engineering
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2008
Language: English
Pages: 283
Tags: Software Engineering; Programming Techniques; Programming Languages, Compilers, Interpreters; Computer Communication Networks; Special Purpose and Application-Based Systems; Management of Computing and Information Systems
Front Matter....Pages -
A New Approach to Memory Partitioning in On-Board Spacecraft Software....Pages 1-14
Design and Development of Component-Based Embedded Systems for Automotive Applications....Pages 15-29
On the Timed Automata-Based Verification of Ravenscar Systems....Pages 30-43
Operational Semantics of Ada Ravenscar....Pages 44-58
Practical, Fast and Simple Concurrent FIFO Queues Using Single Word Synchronization Primitives....Pages 59-72
A Modelling Approach with Coloured Petri Nets....Pages 73-86
A Tailored V-Model Exploiting the Theory of Preemptive Time Petri Nets....Pages 87-100
Concurrent Program Metrics Drawn by Quasar....Pages 101-114
A Comparison of the Object-Oriented Features of Ada 2005 and Java TM ....Pages 115-129
A Framework for CFG-Based Static Program Analysis of Ada Programs....Pages 130-143
A Type-Safe Database Interface....Pages 144-157
StateML + : From Graphical State Machine Models to Thread-Safe Ada Code....Pages 158-170
Experience in the Integration of Heterogeneous Models in the Model-driven Engineering of High-Integrity Systems....Pages 171-184
A Systematic Approach to Automatically Generate Multiple Semantically Equivalent Program Versions....Pages 185-198
Increasing Confidence in Concurrent Software through Architectural Analysis....Pages 199-210
Fast Scheduling of Distributable Real-Time Threads with Assured End-to-End Timeliness....Pages 211-225
RCanalyser: A Flexible Framework for the Detection of Data Races in Parallel Programs....Pages 226-239
Can We Increase the Usability of Real Time Scheduling Theory? The Cheddar Project....Pages 240-253
An Ada 2005 Technology for Distributed and Real-Time Component-Based Applications....Pages 254-267
Real-Time Distribution Middleware from the Ada Perspective....Pages 268-281
Back Matter....Pages -
