The Preventive and Active Safety Applications project (PReVENT), contributes to the safety goals of the European Commission (EC). PReVENT addresses the function fields of Safe Speed and Safe Following, Lateral Support, Intersection Safety and Protection of Vulnerable Road Users and Collision Mitigation in order to cover the field of active safety. The majority of these functions are characteriz...

Modern automobiles can be considered as a collection of many subsystems working with each other to realize safe transportation of the occupants. Innovative technologies that make transportation easier are increasingly incorporated into the automobile in the form of functionalities. These new functionalities in turn increase the complexity of the system framework present and traceability is lost...

Today software is core part of modern automobiles. The amount, complexity and importance of software components within Electrical/Electronics (E/E) systems of modern cars is only increasing with time. Several automotive functions carrying software provide or interact with safety critical systems such as systems steering and braking and thus assuring functional safety for such systems is of high...

design transforms the semi-formal requirements specification into a formal implicit specification, which will then be further refined into formal explicit specification by detail design. Detail design has two goals: (1) transforming implicit specifications of processes and functions, defined in modules into explicit specifications to serve as a foundation for implementation in a specific progra...

to evaluate results of concurrent functional endoscopic sinus surgery (fess) and nasal plastic surgery in terms of safety, efficacy and patient satisfaction, and compare them with the results of single procedures. we conducted a prospective case control study in three groups of patients with chronic sinusitis and nasal deformity; 25 cases had concurrent fess and rhinoplasty, 25 controls had fes...

In automotive, railway, avionics and healthcare industries more and more functionality is implemented by embedded software. A failure of safety-critical software may cause high costs or even endanger human beings. Also for applications which are not highly safety-critical, a software failure may necessitate expensive updates. Contemporary safety standards – including DO-178B, DO-178C, IEC-61508...

We formally deene the set-based abstraction of any language whose operational semantics can be deened by environment evaluation. The Aiken-Wimmers soft type system precisely corresponds to this set-based abstraction under their operational semantics. The Heintze set-based analysis is precisely this set-based abstraction under a diierent operational semantics. In general, set-based abstraction d...

.......................................................................................................................................... 3