78 search results - page 4 / 16 » Verification of Temporal Properties in Automotive Embedded S... |
96
Voted
PST
2008
14 years 11 months ago
2008
In this paper we develop a security verification framework for open source software with a multi-language support. We base our approach on the GCC compiler which is considered as ...
114
click to vote
TDSC
2008
14 years 9 months ago
2008
Integrated architectures in the automotive and avionic domain promise improved resource utilization and enable a better coordination of application subsystems compared to federated...
RSP
2003
IEEE
15 years 2 months ago
2003
IEEE
This paper addresses the need for systematic verification of timing properties of real-time prototypes, which consist of timing constraints that must be satisfied at any given tim...
DATE
2010
IEEE
15 years 2 months ago
2010
IEEE
— Today, mobile and embedded real time systems have to cope with the migration and allocation of multiple software tasks running on top of a real time operating system (RTOS) res...
101
click to vote
UML
2004
Springer
15 years 3 months ago
2004
Springer
This paper discusses a model-based design flow for requirements in distributed embedded software development. Such requirements are specified using a language similar to Linear T...