Description |
1 online resource (xiii, 225 pages) : illustrations |
Series |
Lecture notes in computer science, 0302-9743 ; 6652 |
|
LNCS sublibrary. SL 2, Programming and software engineering |
|
Lecture notes in computer science ; 6652. 0302-9743
|
|
LNCS sublibrary. SL 2, Programming and software engineering.
|
Contents |
Machine generated contents note: Keynote Talk -- Assuring Software Reliability While Using Web Services and Commercial Products / Jeffrey O'Leary -- Multicore -- Detecting High-Level Synchronization Errors in Parallel Programs / Erhard Ploedereder -- Design and Implementation of a Ravenscar Extension for Multiprocessors / Jose F. Ruiz -- Real-Time Framework for Multiprocessor Platforms Using Ada 2012 / Alfons Crespo -- Verification -- SQALE Quality and Analysis Models for Assessing the Quality of Ada Source Code / Jean-Pierre Rosen -- Adapting ACATS to the Ahven Testing Framework / Tero Koskinen -- Model-Based Analysis and Design of Real-Time Distributed Systems with Ada and the UML Profile for MARTE / Alvaro Garcia Cuesta -- Architecture and Modelling -- Developing Dependable Software-Intensive Systems: AADL vs. EAST-ADL / Kristina Lundqvist -- Formal Approach to Design and Verification of Two-Level Hierarchical Scheduling Systems / Enrico Vicario -- Architecting a Common Bridge Abstraction over Different Middleware Paradigms / Marisol Garcia-Valls -- Education and Mixed Criticality -- Using Robotics as a Motivational Tool: An Ada Interface to a Pioneer Robot / Juan Pastor -- ORK+/XtratuM: An Open Partitioning Platform for Ada / Alfons Crespo -- Implementing Mixed Criticality Systems in Ada / Alan Burns -- Panel: Language Paradigms for Multicore Programming -- Programming Languages Meet Multicore / Erhard Ploedereder -- Programming Languages for Real-Time Applications Executing on Parallel Hardware / Alan Burns -- Multicore Programming in ParaSail: Parallel Specification and Implementation Language / S. Tucker Taft -- Why Parallel Functional Programming Matters: Panel Statement / Kevin Hammond -- Panel: DO178C and Object-Orientation for Critical Systems -- OOT, DO-178C and SPARK / Trevor Jennings |
|
Note continued: Position Paper: DO-178C/ED-12C and Object-Orientation for Critical Systems / Dewi Daniels -- Object Orientation in Critical Systems: Yes, in Moderation -- Position Paper for the D0178C and Object-Orientation for Critical Systems Panel / Jean-Pierre Rosen -- Signet Library Talk -- On the Evolution of Unnatural Language / Les Hatton |
Summary |
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 |
Bibliography |
Includes bibliographical references and index |
Subject |
Computer software -- Reliability -- Congresses
|
|
Software engineering -- Congresses
|
|
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 |
Romanovsky, Alexander, 1954-
|
|
Vardanega, T. (Tullio)
|
ISBN |
9783642213380 |
|
3642213383 |
|