Reliable Software Technologies – Ada-Europe 2015
Springer International Publishing (Verlag)
978-3-319-19583-4 (ISBN)
The revised 12 full papers presented together with two keynotes were carefully reviewed and selected from 36 submissions. They are organized in topical sections on language technology, real-time applications, critical systems, and multicore and distributed systems.
A Safety Concept for an IEC-61508 Compliant Fail-Safe Wind Power Mixed-Criticality System Based on Multicore and Partitioning.- The Central on-Board Computer of the Philae Lander in the Context of the Rosetta Space Mission.- Extensible Debugger Framework for Extensible Languages.- Static Backward Program Slicing for Safety-Critical Systems.- A Novel Run-Time Monitoring Architecture for Safe and Efficient Inline Monitoring.- Schedulability Analysis of PWM Tasks for the UPMSat-2 ADCS.- Guaranteeing Timing Requirements in the IXV on-Board Software.- Maintenance of Reliable Distributed Applications with Open-Source Middleware: Fifteen Years Later.- The CONCERTO Methodology for Model-Based Development of Avionics Software.- From AADL Model to LNT Specification.- Using Sensitivity Analysis to Facilitate the Maintenance of Safety Cases.- Challenges in the Implementation of MrsP.- An Execution Model for Fine-Grained Parallelism in Ada.- AFDX Emulator for an ARINC-Based Training Platform.
Erscheint lt. Verlag | 1.6.2015 |
---|---|
Reihe/Serie | Lecture Notes in Computer Science | Programming and Software Engineering |
Zusatzinfo | XIV, 229 p. 68 illus. |
Verlagsort | Cham |
Sprache | englisch |
Maße | 155 x 235 mm |
Themenwelt | Mathematik / Informatik ► Informatik ► Programmiersprachen / -werkzeuge |
Informatik ► Theorie / Studium ► Compilerbau | |
Schlagworte | Distributed Systems • Embedded Systems • formal methods • Hybrid architectures • Logics and meanings of programs • Mathematical logic and formal languages • Middleware • Model-based engineering • Multiprocessor Systems • Parallelism • Partitioned systems • Programming languages, compilers, interpreters • Real-Time Systems • Run-time Verification • safety critical systems • Scheduling • Software engineering • Software Engineering / Softwareentwicklung • Softwareentwicklung • Software Reliability • Special purpose and application-based systems • Specification Languages |
ISBN-10 | 3-319-19583-2 / 3319195832 |
ISBN-13 | 978-3-319-19583-4 / 9783319195834 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
aus dem Bereich