Results 1 
9 of
9
Design of Embedded Systems: Formal Models, Validation, and Synthesis
 PROCEEDINGS OF THE IEEE
, 1999
"... This paper addresses the design of reactive realtime embedded systems. Such systems are often heterogeneous in implementation technologies and design styles, for example by combining hardware ASICs with embedded software. The concurrent design process for such embedded systems involves solving the ..."
Abstract

Cited by 106 (9 self)
 Add to MetaCart
This paper addresses the design of reactive realtime embedded systems. Such systems are often heterogeneous in implementation technologies and design styles, for example by combining hardware ASICs with embedded software. The concurrent design process for such embedded systems involves solving the specification, validation, and synthesis problems. We review the variety of approaches to these problems that have been taken.
Comparing Models of Computation
 IN PROC. ICCAD
, 1996
"... We give a denotational framework (a "meta model") within which certain properties of models of computation can be understood and compared. It describes concurrent processes as sets of possible behaviors. Compositions of processes are given as intersections of their behaviors. The interaction between ..."
Abstract

Cited by 28 (1 self)
 Add to MetaCart
We give a denotational framework (a "meta model") within which certain properties of models of computation can be understood and compared. It describes concurrent processes as sets of possible behaviors. Compositions of processes are given as intersections of their behaviors. The interaction between processes is through signals, which are collections of events. Each event is a valuetag pair, where the tags can come from a partially ordered or totally ordered set. Timed models are where the set of tags is totally ordered. Synchronous events share the same tag, and synchronous signals contain events with the same set of tags. Synchronous systems contain synchronous signals. Strict causality (in timed systems) and continuity (in untimed systems) ensure determinacy under certain technical conditions. The framework is used to compare certain essential features of various models of computation, including Kahn process networks, dataflow, sequential processes, concurrent sequential processes with rendezvous, Petri nets, and discreteevent systems.
Guernic, Dataflow synchronous languages
 In A Decade of Concurrency, reflexions and perspectives, REX School/Symposium
, 1994
"... Abstract. In this paper, we present a theory of synchronous dataflow languages. Our theory is supported by both some heuristic analysis of applications and some theoretical investigation of the dataflow paradigm. Our model covers both behavioural and operational aspects, and allows both synchronou ..."
Abstract

Cited by 21 (5 self)
 Add to MetaCart
Abstract. In this paper, we present a theory of synchronous dataflow languages. Our theory is supported by both some heuristic analysis of applications and some theoretical investigation of the dataflow paradigm. Our model covers both behavioural and operational aspects, and allows both synchronous and asynchronous styles of implementation for synchronous programs. This model served as a basis to establish the gc common format for synchronous dataflow languages.
On Hybrid Control of Complex Systems: A Survey
"... In this paper a brief overview of hybrid control systems is given and an introduction to several approaches in hybrid systems research with an extended list of references is presented. Emphasis is put on Petri net approaches to hybrid control. ..."
Abstract

Cited by 20 (4 self)
 Add to MetaCart
In this paper a brief overview of hybrid control systems is given and an introduction to several approaches in hybrid systems research with an extended list of references is presented. Emphasis is put on Petri net approaches to hybrid control.
Heterogenous Simulation  mixing discreteevent model with dataflow
, 1996
"... This paper relates to systemlevel design of signal processing systems, which are often heterogeneous in implementation technologies and design styles. The heterogeneous approach, by combining small, specialized models of computation, achieves generality and also lends itself to automatic synthesis ..."
Abstract

Cited by 17 (4 self)
 Add to MetaCart
This paper relates to systemlevel design of signal processing systems, which are often heterogeneous in implementation technologies and design styles. The heterogeneous approach, by combining small, specialized models of computation, achieves generality and also lends itself to automatic synthesis and formal verification. Key to the heterogeneous approach is to define interaction semantics that resolve the ambiguities when different models of computation are brought together. For this purpose, we introduce a tagged signal model as a formal framework within which the models of computation can be precisely described and unambiguously differentiated, and their interactions can be understood. In this paper, we will focus on the interaction between dataflow models, which have partially ordered events, and discreteevent models, with their notion of time that usually defines a total order of events. A variety of interaction semantics, mainly in handling the different notions of time in the two models, are explored to illustrate the subtleties involved. An implementation based on the Ptolemy system from U.C. Berkeley is described and critiqued.
Effective heterogeneous design and cosimulation
 In NATO Advanced Study Institute Workshop on Hardware/Software Codesign
, 1995
"... ..."
The Token Flow Model
, 1992
"... This paper reviews and extends an analytical model for the behavior of dataflow graphs with datadependent control flow. The number of tokens produced or consumed by each actor is given as a symbolic function of the Booleans in the system. Longterm averages can be analyzed to determine consistency ..."
Abstract

Cited by 12 (0 self)
 Add to MetaCart
This paper reviews and extends an analytical model for the behavior of dataflow graphs with datadependent control flow. The number of tokens produced or consumed by each actor is given as a symbolic function of the Booleans in the system. Longterm averages can be analyzed to determine consistency of token flow rates. Shortterm behavior can be analyzed to construct an annotated schedule, or a static schedule that annotates each firing of an actor with the Boolean conditions under which that firing occurs. Necessary and sufficient conditions for boundedlength schedules, as well as sufficient conditions for determining that a dataflow graph can be scheduled in bounded memory are given. Annotated schedules can be used to generate efficient implementations of the algorithms described by the dataflow graphs. 1. Introduction The principal strength of dataflow graphs is that they do not overspecify an algorithm by imposing unnecessary sequencing constraints between operators. Instead, th...
A Calculus of Stochastic Systems for the Specification, Simulation, and Hidden State Estimation of Mixed Stochastic/Nonstochastic Systems
 Theoretical Computer Science
, 1995
"... In this paper, we consider mixed systems containing both stochastic and nonstochastic 1 components. To compose such systems, we introduce a general combinator which allows the specification of an arbitrary mixed system in terms of elementary components of only two types. Thus, systems are obtai ..."
Abstract

Cited by 8 (1 self)
 Add to MetaCart
In this paper, we consider mixed systems containing both stochastic and nonstochastic 1 components. To compose such systems, we introduce a general combinator which allows the specification of an arbitrary mixed system in terms of elementary components of only two types. Thus, systems are obtained hierarchically, by composing subsystems, where each subsystem can be viewed as an "increment" in the decomposition of the full system. The resulting mixed stochastic system specifications are generally not "executable", since they do not necessarily permit the incremental simulation of the system variables. Such a simulation requires compiling the dependency relations existing between the system variables. Another issue involves finding the most likely internal states of a stochastic system from a set of observations. We provide a small set of primitives for transforming mixed systems, which allows the solution of the two problems of incremental simulation and estimation of stocha...
Interoperation of heterogeneous CAD tools in Ptolemy II
 In Proc. SPIE Vol. 3680, Design, Test, and Microfabrication of MEMS and MOEMS
, 1999
"... Typical complex systems that involve microsensors and microactuators exhibit heterogeneity both at the implementation level and the problem level. This naturally leads to a heterogeneous approach to system design that uses domainspecific models of computation (MoC) at various levels of abstractions ..."
Abstract

Cited by 2 (1 self)
 Add to MetaCart
Typical complex systems that involve microsensors and microactuators exhibit heterogeneity both at the implementation level and the problem level. This naturally leads to a heterogeneous approach to system design that uses domainspecific models of computation (MoC) at various levels of abstractions to define a system, and leverages multiple CAD tools to do simulation, verification, and synthesis. As the size and scope of the system increases, the integration becomes too difficult and unmanageable if different tools are coordinated using simple scripts. In addition, for MEMS devices and mixedsignal circuits, it is essential to integrate tools with different MoCs to simulate the whole system. Ptolemy II, a heterogeneous systemlevel design tool, supports the interaction among different MoCs. This paper discusses heterogeneous CAD tool interoperability in the Ptolemy II framework. The key is to understand the semantic interface and classify the tools by their MoC and their level of abstraction. Interfaces are designed for each domain so that the external tools can be easily wrapped. Then the interoperability of the tools becomes the interoperability of the domains. Ptolemy II can serve as the standard interface among different tools to achieve overall design modeling. A microaccelerometer with digital feedback is studied as an example.