1784 search results - page 23 / 357 » Formal Models for Embedded System Design |
ASPDAC
2004
ACM
14 years 1 months ago
2004
ACM
Abstract— To meet the challenge of increasing design complexity, designers are turning to system level design languages to model systems at a higher level of abstraction. This pa...
ANSS
1999
IEEE
14 years 6 days ago
1999
IEEE
The results presented here are based on many years of experience of development and application of DYANA
FORTE
1996
13 years 9 months ago
1996
I discuss formal description techniques (FDTs) as they are applied in practice in software and system engineering. Their quality can be measured by their formality, descriptivenes...
CODES
2003
IEEE
14 years 1 months ago
2003
IEEE
Current methods cannot synthesize real-time embedded software applications when the global deadline of a task is shorter than the total of all local deadlines along a critical pat...
MODELS
2009
Springer
14 years 2 months ago
2009
Springer
A well known challenge in the formal methods domain is to improve their integration with practical engineering methods. In the context of embedded systems, model checking requires ...