Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 10 of 200 results
Sort by: relevance publication year

Towards Integrated Model-Driven Verification and Empirical Validation of Reusable Software Frameworks for Automotive Systems

BOOK CHAPTER published in Model-Driven Development of Reliable Automotive Services

Authors: Venkita Subramonian | Christopher Gill

https://doi.org/10.1007/978-3-540-70930-5_8 Actions

A Model-Based Framework for Developing Real-Time Safety Ada Systems

BOOK CHAPTER published 2013 in Reliable Software Technologies – Ada-Europe 2013

Authors: Emilio Salazar | Alejandro Alonso | Miguel A. de Miguel | Juan A. de la Puente

https://doi.org/10.1007/978-3-642-38601-5_9 Actions

Capturing and verifying performance requirements for hard real time systems

BOOK CHAPTER published 1997 in Reliable Software Technologies — Ada-Europe '97

Authors: R. H. Pierce | Sandra Ayache | R. Ward | J. Stevens | Helen Clifton | J. Galle

https://doi.org/10.1007/3-540-63114-3_13 Actions

Model-Based Analysis and Design of Real-Time Distributed Systems with Ada and the UML Profile for MARTE

BOOK CHAPTER published 2011 in Reliable Software Technologies - Ada-Europe 2011

Authors: Julio L. Medina | Alvaro Garcia Cuesta

https://doi.org/10.1007/978-3-642-21338-0_7 Actions

Teaching Real-Time Systems Around a Digital Model Railroad Platform Using Ada

BOOK CHAPTER published 2004 in Lecture Notes in Computer Science

Authors: Bárbara Álvarez | Juan A. Pastor | Francisco Ortiz | Pedro Sánchez | Pedro Navarro

https://doi.org/10.1007/978-3-540-24841-5_17 Actions

Towards Model-Driven Development of Hard Real-Time Systems

BOOK CHAPTER published in Model-Driven Development of Reliable Automotive Services

Authors: Christian Ferdinand | Reinhold Heckmann | Hans-Jörg Wolff | Christian Renz | Oleg Parshin | Reinhard Wilhelm

https://doi.org/10.1007/978-3-540-70930-5_10 Actions

Using Ontologies in the Integration of Structural, Functional, and Process Perspectives in the Development of Safety Critical Systems

BOOK CHAPTER published 2013 in Reliable Software Technologies – Ada-Europe 2013

Authors: Irene Bicchierai | Giacomo Bucci | Carlo Nocentini | Enrico Vicario

https://doi.org/10.1007/978-3-642-38601-5_7 Actions

Design and Development of Component-Based Embedded Systems for Automotive Applications

BOOK CHAPTER published 2008 in Reliable Software Technologies – Ada-Europe 2008

Authors: Marco Di Natale

https://doi.org/10.1007/978-3-540-68624-8_2 Actions

Object oriented abstractions for real-time distributed systems

BOOK CHAPTER published 1998 in Reliable Software Technologies — Ada-Europe

Authors: Scott Arthur Moody

https://doi.org/10.1007/bfb0054999 Actions

The Arbitrated Real-Time Protocol (AR-TP): A Ravenscar Compliant Communication Protocol for High-Integrity Distributed Systems

BOOK CHAPTER published 2006 in Reliable Software Technologies – Ada-Europe 2006

Authors: Santiago Urueña | Juan Zamorano | Daniel Berjón | José A. Pulido | Juan A. de la Puente

https://doi.org/10.1007/11767077_18 Actions

Static Backward Program Slicing for Safety-Critical Systems

BOOK CHAPTER published 2015 in Lecture Notes in Computer Science

Authors: Husni Khanfar | Björn Lisper | Abu Naser Masud

https://doi.org/10.1007/978-3-319-19584-1_4 Actions

Modelling Remote Concurrency with Ada

BOOK CHAPTER published 2007 in Reliable Software Technologies – Ada Europe 2007

Authors: Claude Kaiser | Christophe Pajault | Jean-François Pradat-Peyre

https://doi.org/10.1007/978-3-540-73230-3_15 Actions

Theory and Practice of EDF Scheduling in Distributed Real-Time Systems

BOOK CHAPTER published 2018 in Reliable Software Technologies – Ada-Europe 2018

Authors: J. Javier Gutiérrez | Héctor Pérez

https://doi.org/10.1007/978-3-319-92432-8_8 Actions

Test Case Prioritization Using Online Fault Detection Information

BOOK CHAPTER published 2016 in Lecture Notes in Computer Science

Authors: Mohsen Laali | Huai Liu | Margaret Hamilton | Maria Spichkova | Heinz W. Schmidt

https://doi.org/10.1007/978-3-319-39083-3_6 Actions

Validated Modeling of Mechanical Systems with SmartMOBILE: Improvement of Performance by ValEncIA-IVP

BOOK CHAPTER published in Reliable Implementation of Real Number Algorithms: Theory and Practice

Authors: Ekaterina Auer | Andreas Rauh | Eberhard P. Hofer | Wolfram Luther

https://doi.org/10.1007/978-3-540-85521-7_1 Actions

DARX - A Self-healing Framework for Agents

BOOK CHAPTER published 2007 in Reliable Systems on Unreliable Networked Platforms

Authors: Olivier Marin | Marin Bertier | Pierre Sens | Zahia Guessoum | Jean-Pierre Briot

https://doi.org/10.1007/978-3-540-71156-8_5 Actions

Experience in the Integration of Heterogeneous Models in the Model-driven Engineering of High-Integrity Systems

BOOK CHAPTER published 2008 in Reliable Software Technologies – Ada-Europe 2008

Authors: Matteo Bordin | Thanassis Tsiodras | Maxime Perrotin

https://doi.org/10.1007/978-3-540-68624-8_13 Actions

The Polling Effect on the Schedulability of Distributed Real-Time Systems

BOOK CHAPTER published 2016 in Lecture Notes in Computer Science

Authors: Héctor Pérez | J. Javier Gutiérrez | Michael González Harbour | J. Carlos Palencia

https://doi.org/10.1007/978-3-319-39083-3_12 Actions

Conceptual and Analytical Models for Predicting the Quality of Service of Overall Telecommunication Systems

BOOK CHAPTER published 2018 in Lecture Notes in Computer Science

Authors: Stoyan Poryazov | Emiliya Saranova | Ivan Ganchev

https://doi.org/10.1007/978-3-319-90415-3_7 Actions

The case for Ada at the USAF academy

PROCEEDINGS ARTICLE published 7 December 2003 in Proceedings of the 2003 annual ACM SIGAda international conference on Ada: the engineering of correct and reliable software for real-time & distributed systems using ada and related technologies

Authors: Ricky E. Sward | Martin C. Carlisle | Barry S. Fagin | David S. Gibson

https://doi.org/10.1145/958420.958430 Actions
Feedback: support@crossref.org