36 search results - page 4 / 8 » Safety in Automotive Software: An Overview of Current Practi... |
SIGADA
2004
Springer
14 years 21 days ago
2004
Springer
Existing security models require that information of a given security level be prevented from “leaking” into lower-security information. High-security applications must be dem...
VMCAI
2004
Springer
14 years 21 days ago
2004
Springer
Typed Assembly Languages (TALs) can be used to validate the safety of assembly-language programs. However, typing rules are usually trusted as axioms. In this paper, we show how to...
WOSP
2004
ACM
2004
ACM
Early-stage performance modeling and its application for integrated embedded control software design
14 years 23 days ago
Most of current embedded control software (ECSW) development techniques deal only with performance specifications during the early software design phase and delay the modeling and...
EDOC
2003
IEEE
14 years 19 days ago
2003
IEEE
The Aspect Integrator Platform (AIP) from ABB was designed to build the next generation of industrial automation applications. This platform is part of a set of products that prov...
COMPSAC
2002
IEEE
14 years 9 days ago
2002
IEEE
Component based software development is becoming more generalized, representing a considerable market for the software industry. The perspective of reduced development costs and s...