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 |
|