This book constitutes the proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2009, held in Brest, France, on June 8-12, 2009.
The 19 papers presented were carefully reviewed and selected from numerous submissions. Topics of interest to the conference are methods and techniques for software development and maintenance; software architecture; enabling technology; software quality; theory and practice of high-integrity systems; embedded systems; mainstream and emerging applications; ada language and technology; ada and education.
Author(s): Alessandro Zovi, Tullio Vardanega (auth.), Fabrice Kordon, Yvon Kermarrec (eds.)
Series: Lecture Notes in Computer Science 5570 : Programming and Software Engineering
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2009
Language: English
Pages: 283
Tags: Software Engineering; Programming Techniques; Programming Languages, Compilers, Interpreters; Software Engineering/Programming and Operating Systems; System Performance and Evaluation; Performance and Reliability
Front Matter....Pages -
Requirements on the Target Programming Language for High-Integrity MDE....Pages 1-15
A Restricted Middleware Profile for High-Integrity Distributed Real-Time Systems....Pages 16-29
Validating Safety and Security Requirements for Partitioned Architectures....Pages 30-43
On Comparing Testing Criteria for Logical Decisions....Pages 44-58
Model Checking Techniques for Test Generation from Business Process Models....Pages 59-74
An Experience on Ada Programming Using On-Line Judging....Pages 75-89
Weak Fairness Semantic Drawbacks in Java Multithreading....Pages 90-104
Implementation of the Ada 2005 Task Dispatching Model in MaRTE OS and GNAT....Pages 105-118
Combining EDF and FP Scheduling: Analysis and Implementation in Ada 2005....Pages 119-133
Predicated Worst-Case Execution-Time Analysis....Pages 134-148
Implementing Reactive Systems with UML State Machines and Ada 2005....Pages 149-163
Modelling and Evaluating Real-Time Software Architectures....Pages 164-176
A Formal Foundation for Metamodeling....Pages 177-191
Modeling AADL Data Communication with BIP....Pages 192-206
Formal Verification of AADL Specifications in the Topcased Environment....Pages 207-221
Process-Algebraic Interpretation of AADL Models....Pages 222-236
Ocarina : An Environment for AADL Models Analysis and Automatic Code Generation for High Integrity Applications....Pages 237-250
Conceptual Modeling for System Requirements Enhancement....Pages 251-265
Coloured Petri Nets for Chronicle Recognition....Pages 266-281
Back Matter....Pages -
