229 search results - page 1 / 46 » An Executable Interface Specification for Industrial Embedde... |
QSIC
2008
IEEE
13 years 12 months ago
2008
IEEE
DAC
1997
ACM
13 years 9 months ago
1997
ACM
Abstract. Many modern systems are designed as a set of interconnected reactive subsystems. The subsystem verification task is to verify an implementation of the subsystem against t...
ECRTS
2002
IEEE
13 years 10 months ago
2002
IEEE
In today’s technical world (e.g., in the automotive industry), more and more purely mechanical components get replaced by electro-mechanical ones. Thus the size and complexity o...
ENTCS
2008
13 years 5 months ago
2008
One of the challenges in designing distributed, embedded systems is the paucity of formal, executable specification notations that provide support for both real-time and asynchron...
DAC
1998
ACM
14 years 6 months ago
1998
ACM
Successive, formal refinement is a new approach for specification of embedded systems using a general-purpose programming language. Systems are formally modeled as Abstractable Sy...