rdf-syntax-grammar
mods:
  schema location: http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
  title info:
    title: Reliable Software Technologies – Ada-Europe 2015
    sub title: 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings
  name:
    name part: de la Puente, Juan Antonio.
    role:
      role term: editor.
  name:
    name part: Vardanega, Tullio.
    role:
      role term: editor.
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  origin info:
    place:
      place term: gw
    date issued: 2015
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: electronic
    form: electronic resource
    reformatting quality: access
    form: remote
    extent: XIV, 229 p. 68 illus. online resource.
  abstract: This book constitutes the refereed proceedings of the 20th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2015, held in Madrid, Spain, in June 2015. 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.
  table of contents: 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.
  note: edited by Juan Antonio de la Puente, Tullio Vardanega.
  subject:
    topic: Computer science
  subject:
    topic: Special purpose computers
  subject:
    topic: Software engineering
  subject:
    topic: Programming languages (Electronic computers)
  subject:
    topic: Computer logic
  subject:
    topic: Mathematical logic
  subject:
    topic: Computer Science
  subject:
    topic: Programming Languages, Compilers, Interpreters
  subject:
    topic: Software Engineering
  subject:
    topic: Special Purpose and Application-Based Systems
  subject:
    topic: Logics and Meanings of Programs
  subject:
    topic: Mathematical Logic and Formal Languages
  classification: QA76.7-76.73
  classification: QA76.76.C65
  classification: 005.13
  related item:
    title info:
      title: Springer eBooks
  related item:
    title info:
      title: Lecture Notes in Computer Science, 9111
  identifier: 9783319195841
  identifier: http://dx.doi.org/10.1007/978-3-319-19584-1
  record info:
    record creation date: 150608
    record change date: 20151116135826.0
    record identifier: 978-3-319-19584-1