Sciweavers

78 search results - page 1 / 16
» Verification of Temporal Properties in Automotive Embedded S...
Sort
View
DATE
2008
IEEE
123views Hardware» more  DATE 2008»
15 years 4 months ago
Verification of Temporal Properties in Automotive Embedded Software
Djones Lettnin, Pradeep Kumar Nalla, Jürgen R...
62
Voted
DATE
2009
IEEE
138views Hardware» more  DATE 2009»
15 years 5 months ago
Semiformal verification of temporal properties in automotive hardware dependent software
Djones Lettnin, Pradeep Kumar Nalla, Jörg Beh...
COMPSAC
2007
IEEE
15 years 2 months ago
Unified Property Specification for Hardware/Software Co-Verification
Hardware/software co-verification is becoming an indispensable tool for building highly trustworthy embedded systems. A stumbling block to effective co-verification using model ch...
Fei Xie, Huaiyu Liu
ICSE
2005
IEEE-ACM
15 years 10 months ago
Real-time specification patterns
Embedded systems are pervasive and frequently used for critical systems with time-dependent functionality. Dwyer et al. have developed qualitative specification patterns to facili...
Sascha Konrad, Betty H. C. Cheng
DAC
2007
ACM
15 years 2 months ago
Automotive Software Integration
A growing number of networked applications is implemented on increasingly complex automotive platforms with several bus standards and gateways. Together, they challenge the automo...
Razvan Racu, Arne Hamann, Rolf Ernst, Kai Richter