Limit search to available items
Book Cover
Author Ada-Europe International Conference on Reliable Software Technologies (15th : 2010 : Valencia, Spain)

Title Reliable software technologies--Ada-Europe 2010 : 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010 : proceedings / Jorge Real, Tullio Vardanega (eds.)
Published Berlin : Springer, [2010]
Online access available from:
Springer eBooks    View Resource Record  


Description 1 online resource (xii, 275 pages) : illustrations
Series Lecture notes in computer science, 0302-9743 ; 6106
LNCS sublibrary. SL 2, Programming and software engineering
Lecture notes in computer science ; 6106. 0302-9743
LNCS sublibrary. SL 2, Programming and software engineering.
Contents Keynote talks: What to make of multicore processors for reliable real-time systems? / Theodore P. Baker -- Control co-design : algorithms and their implementation / Pedro Albertos, Alfons Crespo, José Simó, and Adel Fernández -- Multicores and Ada. Dispatching domains for multiprocessor platforms and their representation in Ada / Alan Burns and Andy Wellings -- Implementing multicore real-time scheduling algorithms based on task splitting using Ada 2012 / Björn Andersson and Luís-Miguel Pinho -- Preliminary multiprocessor support of Ada 2012 in GNU/Linux systems / Sergio Sáez and Alfons Crespo -- Software dependability. Practical limits on software dependability : a case study / Patrick J. Graydon, John C. Knight, and Xiang Yin -- Program verification in SPARK and ACSL : a comparative case study / Eduardo Brito and Jorge Sousa Pinto -- Static versioning of global state for race condition detection / Steffen Keul -- Critical systems. Using hardware support for scheduling with Ada / Rod White -- Cache-aware development of high-integrity systems / Enrico Mezzetti, Adam Betts, José Ruiz, and Tullio Vardanega -- Preservation of timing properties with the Ada Ravenscar profile / Enrico Mezzetti, Marco Panunzio, and Tullio Vardanega -- Real-time systems. Towards the definition of a pattern sequence for real-time applications using a model-driven engineering approach / Juan Ángel Pastor, Diego Alonso, Pedro Sánchez, and Bárbara Álvarez -- Scheduling configuration of real-time component-based applications / Patricia López Martínez, Laura Barros, and José M. Drake -- The evolution of real-time programming revisited : programming the Giotto model in Ada 2005 / Andy Wellings and Alan Burns -- Language technology. AdaStreams : a type-based programming extension for stream-parallelism with Ada 2005 / Gingun Hong, Kirak Hong, Bernd Burgstaller, and Johann Blieberger -- A comparison of generic template support : Ada, C++, C♯, and JavaTM / Benjamin M. Brosgol -- Towards Ada 2012 : an interim report / Edmond Schonberg -- Distribution and persistency. Managing transactions in flexible distributed real-time systems / Daniel Sangorrín, Michael González Harbour, Héctor Pérez, and J. Javier Gutiérrez -- An efficient implementation of persistent objects / Jacob Sparre Andersen
Summary Annotation This book constitutes the proceedings of the 15th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2010, held in Valencia, Spain, on June 14-18, 2010. The 17 papers presented were carefully reviewed and selected from 40 submissions. Topics of interest to the conference are software dependability, critical, real-time and distributed systems, and language technology, all under the more general heading of Reliable Software Technologies
Bibliography Includes bibliographical references and index
Notes Print version record
Subject Computer software -- Reliability -- Congresses.
Software engineering -- Congresses.
Genre/Form Conference papers and proceedings.
Conference papers and proceedings.
Form Electronic book
Author Real, Jorge, 1965-
Vardanega, T. (Tullio)
LC no. 2010927689
ISBN 9783642135507
Other Titles Ada-Europe 2010