DEVELOPMENT ENVIRONMENT FOR LOCAL-TIME DESIGN METHOD

This paper describes a development environment supporting a design met hod aimed at small real-time embedded applications with distributed ar chitecture. After discussing the notion of local time and reviewing th e method, main attention is focused on basic concepts of the environme nt. The prototyping tool, which belongs to this environment and serves for validation and testing of specifications, is discussed in more de tail to exemplify formal foundations and implementation ideas of the t ools.