Titlebook: Reliable Software Technologies – Ada-Europe 2015; 20th Ada-Europe Inte Juan Antonio de la Puente,Tullio Vardanega Conference proceedings 20

Boycott

Conference proceedings 2015d 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.

HAWK

A Safety Concept for an IEC-61508 Compliant Fail-Safe Wind Power Mixed-Criticality System Based on Me) in a single embedded system can provide multiple benefits such as product cost-size-weight reduction, reliability increase and scalability. However, the integration of applications of different levels of criticality in a single embedded system leads to several challenges with respect to safety ce

预兆好

The Central on-Board Computer of the Philae Lander in the Context of the Rosetta Space Missionsetta spacecraft smoothly approached a small (2-4 km in diameter) celestial body, comet CG/67P. Furthermore, the spacecraft executed additional fine manoeuvres to fly a multitude of low and high altitude orbits around the comet, mapping its shape and surface in detail never seen before, and has cont

clarify

Extensible Debugger Framework for Extensible Languagesd more reliable software by using proper domain-specific abstractions. Language workbenches significantly reduce the effort for building such extensible languages by synthesizing a fully-fledged IDE from language definitions. However, in contemporary tools, this synthesis does not include interactiv

滋养

Static Backward Program Slicing for Safety-Critical Systems for analysing safety-critical software, since it can identify the program parts that may affect various safety properties. Verification efforts can then be directed towards those parts, leading to a more efficient verification process..We have developed a novel method for static backward program sl

Leisureliness

A Novel Run-Time Monitoring Architecture for Safe and Efficient Inline Monitoringand sometimes partially unpredictable computing architectures such as multicore commercial-of-the-shelf platforms, together with the composable development approach adopted in multiple industrial domains such as avionics and automotive, rendered the exhaustive testing of all situations that could po

Arb853

Schedulability Analysis of PWM Tasks for the UPMSat-2 ADCSMSat-2 case study is used to discuss the scheduling approach of the task set of the Attitude Determination and Control System (ADCS). The Ravenscar profile is a key element of the project in order to ensure temporal predictatibilty and analysability. However, the task population must be maintained l

molest

Soliloquy

spondylosis