See this document in CiteSeerX!

On the Roles of Functions and Objects in System Specification (2000)  (Make Corrections)  (6 citations)
Axel Jantsch, Ingo Sander



  Home/Search   Context   Related

 
View or download:
ele.kth.se/~axel/paper...codes2000.pdf
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  ele.kth.se/cgi...bcond?year=2000 (more)
(Enter author homepages)

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

Abstract: We present an analysis of the benefits and drawbacks of function and object based models in system specification. Functional models should be used for functional design space exploration and as a functional reference model throughout all design and validation activities. Object based models should be used for architectural design space exploration and as a design specification for the following design and implementation phases. Thus, the question is not which one to adopt in system... (Update)

Context of citations to this paper:   More

.... functions into interconnected concurrent objects is a key to link a problem oriented description to an implementation oriented model [4]. It has not been systematically addressed. The task of transforming requirements definitions into a system which fulfills the...

...a database oriented reuse management system is presented. There has been work on parameterized [5] as well as functions and objects based [9], system design. In [18] a system design flow for fast design, prototyping and efficient IP reuse 256 is presented. In [12] a complete...

Cited by:   More
Models of Computation and Languages for Embedded System Design - Jantsch, Sander (2005)   (Correct)
System Modeling and Design Refinement in ForSyDe - Sander (2003)   (Correct)
Transformational System Design Based on a Formal.. - Wu, Sadler, Jantsch (2000)   (Correct)

Active bibliography (related documents):   More   All
0.4:   System Synthesis Based on a Formal Computational Model and.. - Sander, Jantsch (1999)   (Correct)
0.4:   Formal System Design Based on the Synchrony Hypothesis.. - Sander, Jantsch (1999)   (Correct)
0.3:   Scalable Architecture for Real-Time Applications, SARA - Lindh, Klevin, Furunäs (1999)   (Correct)

Similar documents based on text:   More   All
0.7:   System Modelling and SDL-Matlab Cosimulation - Jantsch (2001)   (Correct)
0.6:   Networks on Chip - Kumar, Hemani, Forsell, Soininen.. (2001)   (Correct)
0.4:   IRSYD - An Internal representation for System.. - Ellervee, Kumar.. (1997)   (Correct)

Related documents from co-citation:   More   All
2:   SPI -- a system model for heterogeneously specified embedded systems - Ziegenbein, Richter et al. - 2002
2:   Validation of synchronous reactive systems: from formal verification to automati.. - Halbwachs, Raymond - 1999
2:   System Synthesis Utilizing a Layered Functional Model (context) - Sander, Jantsch - 1999

BibTeX entry:   (Update)

A. Jantsch and I. Sander, "On the Roles of Functions and Objects in System Specification", Proceedings of the International Workshop on Hardware/Software Codesign, 2000. http://citeseer.ist.psu.edu/jantsch00roles.html   More

@inproceedings{ jantschroles,
    author = "A. Jantsch and I. Sander",
    title = "On the Roles of Functions and Objects in System Specification",
    pages = "8--12",
    url = "citeseer.ist.psu.edu/jantsch00roles.html" }
Citations (may not include all citations):
542   Object Oriented Software Engineering: A Use Case Driven Appr.. (context) - Jacobson, Christerson et al. - 1992
167   Structured Analysis and System Specification (context) - DeMarco - 1978
161   Specification and Design of Embedded Systems (context) - Gajski, Vahid et al. - 1994
55   Foundations of Parallel Programming (context) - Skillicorn - 1994
54   Rules and Strategies for Transforming Functional and Logic P.. - Pettorossi, Proietti - 1996
46   No Silver Bullet (context) - Brooks - 1987
40   Scenarios in System Development:Current Practice (context) - Weidenhaupt, Pohl et al. - 1998
33   Real-Time Object-Oriented Modelling (context) - Selic, Gullekson et al. - 1994
29   Design of Embedded Systems: Formal Models, Validation and Sy.. - Edwards, Lavagno et al. - 1997
21   Classification of Research Efforts in Requirements Engineeri.. - Zave - 1997
13   Object oriented Co-synthesis of Distributed Embedded Systems (context) - Wolf - 1996
11   Synthesis of Mixed Software-Hardware Implementations from CF.. - Chiodo, Giusto et al. - 1993
9   Real-time Signal Processing (context) - Reekie - 1995
9   Using VHDL for HW/SW Co-Specification (context) - Ecker - 1993
7   Systems Engineering with SDL (context) - Olsen, Frgemand et al. - 1995
6   Embedded Real-Time Systems (context) - Calvez - 1993
6   Modelling of an ATM Multiplexer in a Network Terminal for a .. - Horn - 1998
3   Salvation from System Complexity (context) - Lawson - 1998
1   The Transformational Derivation of Parallel Programs using D.. (context) - Sdholt - 1997
1   Testcase Development for Large Telecom Systems (context) - Jantsch, Notbauer et al. - 1997
1   Yin and Yang in Computer Science (context) - Sodan - 1998



The graph only includes citing articles where the year of publication is known.


Documents on the same site (http://www.ele.kth.se/cgi-bin/Publications/pubcond?year=2000):   More
A Comparison of Six Languages for System Level.. - Jantsch, Kumar.. (2000)   (Correct)
Network on a Chip: An architecture for billion transistor era - Ahmed Hemani Axel (2000)   (Correct)
A Programmable Protocol Processor Architecture for High.. - Ma, Jantsch, Tenhunen (2000)   (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