from Formal Models to Design Languages Jan Romberg Systems Software...  Home/Search
Context
Related
Links: ACM | www4.in.tum.de/publ/paper...RG03FDL.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: www4.in.tum.de/publ/papers/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: System-level design for discrete-continuous embedded systems is a complex and errorprone task. While existing design languages like SystemC and its extension to the mixedsignal domain, SystemC-AMS, are well supported by a wealth of tools and libraries, they lack both mathematical precision and intuitive, abstract design notations. Graphical design notations with formal foundations such as HyCharts su#er from the lack of tool support and acceptance in the developer community. To overcome... (Update)
Similar documents (at the sentence level):
65.2%: Refinement of Hybrid Systems from Formal Models to Design.. - Romberg, Grimm (Correct)
Active bibliography (related documents): More All
0.3: Models of Computation and Languages for Embedded System Design - Jantsch, Sander (2005) (Correct)
0.3: SystemC-AMS Requirements, Design Objectives and Rationale - Alain Vachoux Christoph (2003) (Correct)
0.3: Refinement of Mixed-Signal Systems with SystemC - Ch Grimm Ch (2003) (Correct)
Similar documents based on text: More All
0.2: On simulating the IP Market Dynamics in On simulating the .. - Ghaiyyur Quraishi Bsce (Correct)
0.2: MoDe: A Method for System-Level Architecture Evaluation - Romberg, Slotosch, Hahn (2003) (Correct)
0.1: Top-Down Design of Mixed-Signal Systems with KANDIS - Grimm, Heuschen, Waldschmidt (1998) (Correct)
BibTeX entry: (Update)
@misc{ models-refinement,
author = "From Formal Models",
title = "Refinement of Hybrid Systems",
url = "citeseer.ist.psu.edu/667170.html" }
Citations (may not include all citations):399 The algorithmic analysis of hybrid systems - Alur, Courcoubetis et al. - 1995 ACM DBLP
271 Real-Time Object-Oriented Modeling (context) - Selic, Gullekson et al. - 1994 ACM
235 The synchronous data-flow programming language LUSTRE - Halbwachs, Caspi et al. - 1991
26 A modular visual model for hybrid systems - Grosu, Stauner et al. - 1998 ACM DBLP
26 A System-Design Methodology: Executable-Specification Refine.. (context) - Gajski, Vahid et al. - 1994 DBLP
22 An overview of hybrid simulation phenomena and their support.. (context) - Mosterman - 1999
21 Consistent Graphical Specification of Distributed Systems - Huber, Schatz et al. - 1997
14 Refinement of time (context) - Broy - 1997 ACM DBLP
11 Compositional refinement of hierarchical hybrid systems - Alur, Grosu et al. - 2001
7 Systematic development of hybrid systems (context) - Stauner - 2001
3 Refinement of Mixed-Signal Systems with SystemC - Grimm, Heupke et al. - 2003 ACM DBLP
3 Design Objectives and Rationale (context) - Vachoux, Grimm et al. - 2003
2 Modeling and Refinement of Mixed Signal Systems with SystemC (context) - Grimm - 2003
2 Approaching a discrete-continuous uml: Tool support and form.. - Stauner, Pretschner et al. - 2001 DBLP
1 Ubersetzung von HyCharts in HDFG (context) - Stauner, Grimm - 2000
Documents on the same site (http://www4.in.tum.de/publ/papers/): More
The Amsterdam Manifesto on OCL - Cook, Kleppe, Mitchell, Rumpe.. (1999) (Correct)
Structured Specifications and Implementation of.. - Walicki, Broy (1995) (Correct)
Modeling Dynamic Component Interfaces - Huber, Rausch, Rumpe (1998) (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