DocumentCode :
1875852
Title :
Using SDL in embedded systems design: a tool for generating real-time OS pSOS based embedded systems applications software
Author :
Huang, Ye ; Hughes, Michael
Author_Institution :
Anonymix Inc., Los Gatos, CA, USA
fYear :
1994
fDate :
18-19 May 1994
Firstpage :
39
Lastpage :
43
Abstract :
We present an efficient method using the Specification and Description Language (SDL) for designing and implementing real-lime embedded systems. We also discuss the implementation of a companion kernel for an SDL based Design Tool (SDT) CASE tool environment to generate real-time OS based pSOS multitasking application software by applying defined mapping translation rules. Since SDL is a formal specification and description language, with the CASE environment SDT support, the major part of a system can be analyzed, simulated, verified, and validated at early stages during system development. The concurrency due to the multiple concurrent state machines in a system is preserved in target run-time environment. Because the SDL described system uses message-passing, a distributed version can be relatively easy to derive from. To emphasize the proposed method using SDL without dramatically compromising the memory and response time (speed), we show the results obtained from pSOS implementation of an AccessControl system. We also outline some areas that we are continuing to work on
Keywords :
formal specification; multiprogramming; operating systems (computers); real-time systems; software tools; specification languages; systems analysis; AccessControl system; CASE tool; SDL; SDL based Design Tool; Specification and Description Language; concurrency; description language; embedded systems applications software; embedded systems design; formal specification; mapping translation rules; message-passing; multiple concurrent state machines; multitasking application software; pSOS; real-lime embedded systems; real-time operating system; run-time environment; simulation; system development; validation; verification; Analytical models; Application software; Computer aided software engineering; Concurrent computing; Delay; Embedded system; Formal specifications; Kernel; Multitasking; Runtime environment;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Real-Time Operating Systems and Software, 1994. RTOSS '94, Proceedings., 11th IEEE Workshop on
Conference_Location :
Seattle, WA
Print_ISBN :
0-8186-5710-3
Type :
conf
DOI :
10.1109/RTOSS.1994.292564
Filename :
292564
Link To Document :
بازگشت