104 search results - page 1 / 21 » Formal Design and Analysis of a Gear Controller |
TACAS
1998
Springer
13 years 9 months ago
1998
Springer
In this paper, we report on an application of the validation and veri cation tool kit Uppaal in the design and analysis of a prototype gear controller, carried out in a joint proje...
FDL
2008
IEEE
13 years 5 months ago
2008
IEEE
Digital television (DTV) is an advanced broadcasting technology that is spreading fast today. It gives broadcasters the capability to send programs with a better picture and sound ...
CCS
2003
ACM
13 years 10 months ago
2003
ACM
Security is a crucial aspect in any modern software system. To ensure security in the final product, security requirements must be considered in the entire software development p...
DATE
2006
IEEE
13 years 11 months ago
2006
IEEE
UML2 and SysML try to adopt techniques known from software development to systems engineering. However, the focus has been put on modeling aspects until now and quantitative perfo...
HASE
1998
IEEE
13 years 9 months ago
1998
IEEE
Engineers use software tools to analyze designs for critical systems. Because important decisions are based on tool results, tools must provide valid modeling constructs; engineer...