1784 search results - page 1 / 357 » Formal Models for Embedded System Design |
ICFEM
2007
Springer
15 years 2 months ago
2007
Springer
50
Voted
DT
2000
14 years 10 months ago
2000
112
click to vote
SDL
2007
14 years 11 months ago
2007
Abstract. OpenComRTOS is one of the few Real-Time Operating Systems (RTOS) for embedded systems that was developed using formal modeling techniques. The goal was to obtain a proven...
DAC
1998
ACM
15 years 11 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...
70
Voted
BIRTHDAY
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. To support model-based development and analysis of embedded systems, the specification language VDM++ has been extended with asynchronous communication and improved timin...