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

PDP 4PS : Periodic-Delayed Protocol for Partitioned Systems

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

Authors: Antoine Jaouën | Etienne Borde | Laurent Pautet | Thomas Robert

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

A case study in quantitative evaluation of real-time software architectures

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

Authors: José L. Fernández | Bárbara álvarez | Francisco García | ángel Pérez | Juan A. de la Puente

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

A TASM-Based Requirements Validation Approach for Safety-Critical Embedded Systems

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

Authors: Jiale Zhou | Yue Lu | Kristina Lundqvist

https://doi.org/10.1007/978-3-319-08311-7_5 Actions

Correctness by Construction for High-Integrity Real-Time Systems: A Metamodel-Driven Approach

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

Authors: Matteo Bordin | Tullio Vardanega

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

Schedulability Analysis for Directed Acyclic Graphs on Multiprocessor Systems at a Subtask Level

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

Authors: Manar Qamhieh | Serge Midonnet

https://doi.org/10.1007/978-3-319-08311-7_10 Actions

ArchMDE Approach for the Development of Embedded Real Time Systems

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

Authors: Nourchène Elleuch | Adel Khalfallah | Samir Ben Ahmed

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

Source Code as the Key Artifact in Requirement-Based Development: The Case of Ada 2012

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

Authors: José F. Ruiz | Cyrille Comar | Yannick Moy

https://doi.org/10.1007/978-3-642-30598-6_4 Actions

Ada 95 as a base to architect systems in O4S™

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

Authors: Ingmar Ögren

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

Towards Developing Multi-agent Systems in Ada

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

Authors: G. Aranda | J. Palanca | A. Espinosa | A. Terrasa | A. García-Fornes

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

Implementing Reactive Systems with UML State Machines and Ada 2005

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

Authors: Sergio Sáez | Silvia Terrasa | Vicente Lorente | Alfons Crespo

https://doi.org/10.1007/978-3-642-01924-1_11 Actions

A Case Study in Performance Evaluation of Real-Time Teleoperation Software Architectures Using UML-MAST

BOOK CHAPTER published 2003 in Lecture Notes in Computer Science

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

https://doi.org/10.1007/3-540-44947-7_32 Actions

Managing Transactions in Flexible Distributed Real-Time Systems

BOOK CHAPTER published 2010 in Reliable Software Technologiey – Ada-Europe 2010

Authors: Daniel Sangorrín | Michael González Harbour | Héctor Pérez | J. Javier Gutiérrez

https://doi.org/10.1007/978-3-642-13550-7_18 Actions

A Restricted Middleware Profile for High-Integrity Distributed Real-Time Systems

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

Authors: Santiago Urueña | Juan Zamorano | Juan A. de la Puente

https://doi.org/10.1007/978-3-642-01924-1_2 Actions

Integrating Middleware for Timely Reconfiguration of Distributed Soft Real-Time Systems with Ada DSA

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

Authors: Marisol García-Valls | Felipe Ibáñez-Vázquez

https://doi.org/10.1007/978-3-642-30598-6_3 Actions

The Case for Modeling Security, Privacy, Usability and Reliability (SPUR) in Automotive Software

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

Authors: K. Venkatesh Prasad | Thomas J. Giuli | David Watson

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

Why the Expressive Power of Programming Languages Such as Ada Is Needed for Future Cyber Physical Systems

BOOK CHAPTER published 2016 in Lecture Notes in Computer Science

Authors: Alan Burns

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

Building modular communication systems in Ada: The Simple-Com approach

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

Authors: JesÚs M. González-Barahona | Pedro de-las-Heras-Quirós | José Centeno-González | Francisco Ballesteros

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

Generating Sound and Resource-Aware Code from Hybrid Systems Models

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

Authors: Madhukar Anand | Sebastian Fischmeister | Jesung Kim | Insup Lee

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

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 Formal Approach to Design and Verification of Two-Level Hierarchical Scheduling Systems

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

Authors: Laura Carnevali | Giuseppe Lipari | Alessandro Pinzuti | Enrico Vicario

https://doi.org/10.1007/978-3-642-21338-0_9 Actions
Feedback: support@crossref.org