Title :
Executable specifications for embedded distributed systems
Author :
Sveda, Miroslav ; Vrba, Radimir
Author_Institution :
Sch. of Comput., Tasmania Univ., Hobart, Tas., Australia
fDate :
1/1/2001 12:00:00 AM
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;
