Reliable Software Technologies – Ada-Europe 2011: 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings
Alexander Romanovsky, Tullio Vardanega
Springer Science & Business Media, Jun 14, 2011 - Computers - 227 pages
This book constitutes the refereed proceedings of the 16th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2011, held in Edinburgh, UK, on June 20-24, 2011. The revised 12 papers presented together with several invited contributions were carefully reviewed and selected from 30 submissions. Topics of interest to the conference are methods and techniques for software development and maintenance ; software architectures; enabling technologies; software quality; theory and practice of high-integrity systems; embedded systems; mainstream and emerging applications; experience reports; the future of Ada.
What people are saying - Write a review
We haven't found any reviews in the usual places.
Other editions - View all
AADL ACATS Ada language Ada-Europe ADLs Ahven algorithm analysis models approach architecture AUTOSAR behavior Berlin Heidelberg 2011 clocks common bridge communication compiler complexity components Computer concurrent configuration connector criticality level data-flow deadline Task defined EAST-ADL embedded embedded systems example execution framework function functional programming global scheduler hardware Heidelberg hypervisor IEEE implementation initialization inter-processor interrupt interface interrupt LNCS lock loop lost-update MARTE mechanisms middleware middleware technologies monoprocessor multicore multiprocessor multiprocessor scheduling ORK+ package ParaSail partitions performance platform pragma priority procedure processor programming language protected objects pTPN QoS parameters quality model Ravenscar profile real robot Real-Time Systems real-time tasks release reliability requirements resource robot Romanovsky RtUnits run-time schedulability analysis semantics server shared variables SIGAda simulator SPARC specific SQALE standard structure SWIM synchronization thread timers tool Vardanega Eds verification XtratuM