1784 search results - page 1 / 357 » Formal Models for Embedded System Design |
ICFEM
2007
Springer
14 years 2 months ago
2007
Springer
DT
2000
13 years 10 months ago
2000
SDL
2007
14 years 11 days 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
14 years 12 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...
BIRTHDAY
2010
Springer
14 years 2 days 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...