DEVELOPMENT ENVIRONMENT FOR LOCAL-TIME DESIGN METHOD
Miroslav Švéda · Cybernetics & Systems · 1996
This paper describes a development environment supporting a design method aimed at small real-time embedded applications with distributed architecture. After discussing the notion of local time and reviewing the method, main attention is focused on basic concepts of the environment. The prototyping tool, which belongs to this environment and serves for validation and testing of specifications, is discussed in more detail to exemplify formal foundations and implementation ideas of the tools.