11 search results - page 1 / 3 » AutoFOCUS and the MoDe Tool |
ACSD
2003
IEEE
13 years 10 months ago
2003
IEEE
DATE
2005
IEEE
13 years 10 months ago
2005
IEEE
This paper describes first results from the AutoMoDe (Automotive Model-Based Development) project. The overall goal of the project is to develop an integrated methodology for mode...
MEMOCODE
2003
IEEE
13 years 10 months ago
2003
IEEE
System-level design methodologies for embedded HW/SW systems face several challenges: In order to be susceptible to systematic formal analysis based on state-space exploration, a ...
WOSP
2005
ACM
13 years 10 months ago
2005
ACM
StoCharts have been proposed as a UML statechart extension for performance and dependability evaluation, and have been applied in the context of train radio reliability assessment...
FBT
1997
13 years 6 months ago
1997
Abstract: In most cases, it is simple inconvenience of use that keeps formal methods from being put to industrial use. This paper argues that functionalities, even though of simple...