Alternate document:   Details   Models of Computation in the Design Process (05) Axel Jantsch, Ingo Sander

See this document in CiteSeerX!

Models of Computation and Languages for Embedded System Design (2005)  (Make Corrections)  
Axel Jantsch, Ingo Sander



  Home/Search   Context   Related

 
View or download:
imit.kth.se/~axel/...EEProceedings.pdf
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  web.it.kth.se/~axel/publist (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: We review Models of Computation (MoC) and organize them with respect to the time abstraction they use. We distinguish between continuous time, discrete time, synchronous and untimed MoCs. System level models serve a variety of objectives with partially contradicting requirements. Consequently we argue that different MoCs are necessary for the various tasks and phases in the design of an embedded system. Moreover, different MoCs have to be integrated to provide a coherent system modeling and... (Update)

Similar documents (at the sentence level):
17.4%:   System Modeling and Design Refinement in ForSyDe - Sander (2003)   (Correct)
12.5%:   Models of Computation in the Design Process - Jantsch, Sander (2005)   (Correct)

Active bibliography (related documents):   More   All
0.5:   Toward a Scalably Efficient Parallel Implementation of a Hybrid .. - Jagannathan (1995)   (Correct)
0.3:   A Component-Based Approach to Modeling and Simulating.. - Liu, Lee (2003)   (Correct)
0.3:   Refinement of Hybrid Systems - From Formal Models   (Correct)

Similar documents based on text:   More   All
0.2:   On the Roles of Functions and Objects in System Specification - Jantsch, Sander (2000)   (Correct)
0.2:   Performance Estimation in ForSyDe - Zhang (2002)   (Correct)
0.2:   System Synthesis Based on a Formal Computational Model and.. - Sander, Jantsch (1999)   (Correct)

BibTeX entry:   (Update)

@misc{ jantsch-models,
  author = "Axel Jantsch and Ingo Sander",
  title = "Models of Computation and Languages for Embedded System Design",
  url = "citeseer.ist.psu.edu/jantsch05models.html" }
Citations (may not include all citations):
2732   Communicating sequential processes (context) - Hoare - 1978  ACM   DBLP
1933   Communication and Concurrency (context) - Milner - 1989  ACM
1174   Statecharts: A visual formalism for complex systems - Harel - 1987
484   A calculus of communicating systems (context) - Milner - 1980
457   The Esterel synchronous programming language: Design - Berry, Gonthier - 1992
322   volume 92 of Lecture Notes of Computer Science (context) - Milner, of et al. - 1980
302   The semantics of a simple language for parallel programming (context) - Kahn - 1974
270   Synchronous Programming of Reactive Systems (context) - Halbwachs - 1993  ACM   DBLP
235   The synchronous data flow programming language LUSTRE - Halbwachs, Caspi et al. - 1991
227   Formal methods: State of the art and future directions - Clarke, Wing - 1996  DBLP
211   The synchronous approach to reactive and real-time systems (context) - Benveniste, Berry - 1991  ACM
210   Synchronous data flow (context) - Lee, Messerschmitt - 1987
194   The Formal Semantics of Programming Languages (context) - Winskel - 1993  ACM
150   Static scheduling of synchronous data flow programs for digi.. (context) - Lee, Messerschmitt - 1987  ACM   DBLP
107   Coroutines and networks of parallel processes (context) - Kahn, MacQueen - 1977
106   Dataflow process networks - Lee, Parks - 1995  ACM
94   The foundations of Esterel - Berry - 1998  ACM
80   the Dataflow Programming Language (context) - Wadge, Ashcroft - 1985
79   The ESTEREL language (context) - Boussinot, De Simone - 1991
72   Discrete Event Systems: Modeling and Performance Analysis (context) - Cassandras - 1993
71   First version of a data flow procedure language (context) - Dennis - 1974  ACM   DBLP
71   Scheduling Dynamic Dataflow Graphs with Bounded Memory Using.. - Buck - 1993  ACM
60   Programming real-time applications with SIGNAL (context) - Le Guernic, Gautier et al. - 1991
57   The Argos language: Graphical representation of automata and.. - Maraninchi - 1991
55   Models and languages for parallel computation - Skillicorn, Talia - 1998  ACM   DBLP
45   A framework for comparing models of computation (context) - Lee, Sangiovanni-Vincentelli - 1998
37   A hardware implementation of pure Esterel - Berry - 1991
32   Design of embedded systems: Formal models (context) - Edwards, Lavagno et al. - 1997
32   Formal verification in hardware design: A survey - Kern, Greenstreet - 1999  DBLP
30   A programming environment for the design of complex high spe.. - Schaumont, Vernalde et al. - 1997  ACM   DBLP
27   Cyclo-static data flow (context) - Bilsen, Engels et al. - 1995
25   Hierarchical finite state machines with multiple concurrency.. - Girault, Lee et al. - 1999
20   Some computer organisations and their effectiveness (context) - Flynn - 1972
20   a nonprocedural language with iteration (context) - Ashcroft, Wadge - 1977
20   System Design with SystemC (context) - Grotker, Liao et al. - 2002  ACM
20   System Design with SystemC (context) - Grotker, Liao et al. - 2002  ACM
17   System-level design: Orthogonolization of concerns and platf.. (context) - Keutzer, Malik et al. - 2000
16   Haskell 98 Language and Libraries (context) - Jones - 2003
16   FunState - an internal design representation for codesign - Strehl, Thiele et al. - 2001  DBLP
14   Formal verification of sequential hardware: A tutorial (context) - McFarland - 1993
13   Taming heterogeneity---the Ptolemy approach - Eker, Janneck et al. - 2003
12   Models of computation and formal language (context) - Taylor - 1998
9   Modelica - the new object-oriented modeling language - Elmqvist, Mattsson et al. - 1998
9   SPI---a system model for heterogeneously specified embedded .. - Ziegenbein, Richter et al. - 2002
9   BenjaminCumming Publishing Company (context) - Bryan, with et al. - 1994
9   Technical Report UCBERL M (context) - of, project et al. - 2003
8   The synchronous languages 12 years later (context) - Benveniste, Caspi et al. - 2003  DBLP
7   International Technology Roadmap for Semiconductors - Design (context) - Working - 2003
6   Scheduling of behavioural VHDL by retiming techniques (context) - Wehn, Biesenack et al. - 1994
6   Language Reference Manual (context) - Limited - 2003
6   the roles of functions and objects in system specification - Jantsch, Sander - 2000
6   Implementing reactive programs on circuits: A hardware imple.. (context) - Rocheteau, Halbwachs - 1992
5   Exploring the Power of Computing (context) - Savage, Computation - 1998
4   Mastering SIMULINK (context) - Dabney, Harman - 1998  ACM
4   Ecole des Mines and INRIA (context) - Berry, Language - 2000
3   System modeling and transformational design refinement in Fo.. (context) - Sander, Jantsch - 2004
3   design objectives and rationale (context) - Vachoux, Grimm et al. - 2003
3   Modeling of mixed control and dataflow systems in MASCOT (context) - Bjureus, Jantsch - 2001
3   Composite signal flow: A computational model combining event.. - Jantsch, Bjureus - 2000
2   Coarse-grain dataflow programming of conventional parallel c.. - Jagannathan - 1995
2   Optimizing synthesis circuitry by retiming (context) - Rose, Leiserson et al. - 1983
2   Modeling Embedded Systems and SoCs - Concurrency and Time in.. (context) - Jantsch - 2003
2   SystemC Kernel Extensions for Heterogeneous System Modeling (context) - Patel, Shukla - 2004
2   Models of computation for systems-on-chip (context) - Paul, Thomas - 2004
2   Models of embedded computation - Jantsch - 2004
2   Validation of synchronous reactive systems: from formal veri.. - Halbwachs, Raymond - 1999
2   A functional programming framework of heterogeneous model of.. (context) - Mathaikutty, Patel et al. - 2004
2   The constructive semantics of pure Esterel - draft version - Berry - 1999
1   A behavioral type system and its application in Ptolemy II (context) - Lee, Xiong - 2004
1   Functional verification of system on chips practices (context) - Roy, Ramesh et al. - 2002
1   Designers Guide To VHDL-AMS (context) - Ashenden, Peterson et al. - 2002
1   A survey on current functional verification practice (context) - Lemire, Regimbal et al. - 2002
1   Technical and economical barriers and drivers for the introd.. (context) - Jager - 2004
1   SystemC Compiler Behavioral Modeling Guide (context) - Inc - 2002
1   Multidimensional Programming (context) - Faustini, Jagganathan et al. - 1995  ACM
1   SystemC Compiler RTL User and Modeling Guide (context) - Inc - 2002
1   Ptolemy II - Heterogeneous Concurrent Modeling and Design in.. - Hylands, Lee et al. - 2003
1   A survey: System-ona -chip design and verification (context) - Habibi, Tahar - 2003

Documents on the same site (http://web.it.kth.se/~axel/publist.html):   More
Extending Platform-Based Design to Network on Chip.. - Soininen, Jantsch.. (2003)   (Correct)
Performance Analysis with Confidence Intervals for Embedded.. - Bjuréus, Jantsch (2001)   (Correct)
Guaranteed Bandwidth using Looped Containers in.. - Millberg, Nilsson.. (2004)   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC