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

神秘

allude

A Model-Based Framework for Developing Real-Time Safety Ada Systemsomputational model. The tools generate Ravenscar-compliant Ada code using a reduced set of code stereotypes..A case study is described for a subsystem of the on-board software of UPMSat2, a university micro-satellite project.

amphibian

Conference proceedings 2013 held in Berlin, Germany, in June 2013. The 11 full papers presented were carefully reviewed and selected from various submissions. They are organized in topical sections on multi-core and distributed systems; Ada and Spark; dependability; and real-time systems.

Hirsutism

Experience with the Integration of Distribution Middleware into Partitioned Systemspread technique used in the development of high-integrity systems. In this kind of critical systems, software has to be as simple as possible in order to ease certification, and as the use of distribution middleware increases complexity, it has been avoided by developers. However, partitioning allow

制造

四溢

Model-Based Deployment of Mission-Critical Spacecraft Applications on Multicore Processorsulticore processors. On the other hand the redundant cores can also be used for fault-tolerance. Spacecraft missions more and more require a balanced trade-off between power, performance and reliability. Finding an optimal trade-off for each mission phase leads to new engineering challenges, especia

先兆

A SPARK/Ada CubeSat Control Programof software engineers in the use of high integrity development methods. In this paper we discuss our experience training undergraduate students in the use of SPARK toward the construction of a mission-critical embedded system. In particular the students designed and implemented the control program f

種類

不利

Using Ontologies in the Integration of Structural, Functional, and Process Perspectives in the Devel how the activities performed during the life-cycle can be integrated in a common framework. Information needed in these activities reflects concepts that pertain to three different perspectives: i)?structural elements of design and implementation; ii) functional requirements and quality attributes;

Eviction