DocumentCode
1546280
Title
Executable specifications for embedded distributed systems
Author
Sveda, Miroslav ; Vrba, Radimir
Author_Institution
Sch. of Comput., Tasmania Univ., Hobart, Tas., Australia
Volume
34
Issue
1
fYear
2001
fDate
1/1/2001 12:00:00 AM
Firstpage
138
Lastpage
143
Abstract
Combining hardware components with an executable specification language facilitates the specification prototyping of embedded distributed systems. The specification language should cover process management, timing, and communication commands that real-time executive and communication task services of every node prototype can interpret. We use a technique that employs attribute grammars and either a macro processor or Prolog to execute the language
Keywords
PROLOG; attribute grammars; distributed programming; embedded systems; formal specification; hardware-software codesign; macros; software prototyping; specification languages; Prolog; attribute grammars; communication commands; communication task services; embedded distributed systems; executable specification language; executable specifications; hardware components; macro processor; node prototype; process management; specification prototyping; timing; Circuits; Clocks; Communication system control; Concrete; Design methodology; Message passing; Prototypes; Specification languages; Testing; Timing;
fLanguage
English
Journal_Title
Computer
Publisher
ieee
ISSN
0018-9162
Type
jour
DOI
10.1109/2.962986
Filename
962986
Link To Document