Titlebook: Reliable Software Technologies -- Ada-Europe 2013; 18th International C Hubert B. Keller,Erhard Plödereder,Herbert Klenk Conference proceed

美学

A Model-Based Framework for Developing Real-Time Safety Ada SystemsARTE, and the Ada Ravenscar profile. It integrates pre-existing technology with newly developed tools. Special care has been taken to ensure consistency between models and final code. Temporal analysis is integrated in the framework in order to ensure that the real-time behaviour of the models and t

叙述

旧式步枪

Worst–Case Execution Time Analysis Approach for Safety–Critical Airborne Softwareunctionality within specified time constraints. Determining Worst–Case Execution Time (WCET) is key to predictability, that is to ensure that temporal behaviour of the system is correct and hence safe. Furthermore, it is an objective to meet by verification when development of airborne software shal

conservative

Tasklettes – A Fine Grained Parallelism for Ada on Multicoresnding semantics to integrate this model with the existing Ada tasking capabilities. We also propose a standard interface and show how it can be extended by the user or library writers to implement their own parallelization strategies.

认为

guardianship

Worst–Case Execution Time Analysis Approach for Safety–Critical Airborne Softwaren integrating the analysis workflow withing the software development process, especially those regarding to instrumentation overhead. Control mechanisms need to be developed to mitigate the drawbacks and achieve realistic WCET estimations to assess temporal correctness of the system.

prosthesis

contrast-medium

Using Ontologies in the Integration of Structural, Functional, and Process Perspectives in the Develss perspectives. The formalized conceptualization enables the implementation of a tool leveraging on well established technologies aiding the accomplishment of crucial and effort-expensive activities such as the identification of the associations between requirements and the SW components implementi

MIRE

linguistics