Limit search to available items
Book Cover
E-book
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

Copies

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 English
Print version record
Subject Computer software -- Reliability -- Congresses
Software engineering -- Congresses
Software
software.
Software engineering.
Computer software -- Reliability.
Informatique.
Computer software -- Reliability
Software engineering
Genre/Form proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
Form Electronic book
Author Real, Jorge, 1965-
Vardanega, T. (Tullio)
LC no. 2010927689
ISBN 9783642135507
3642135501
1280387068
9781280387067
9786613564986
6613564982
Other Titles Ada-Europe 2010