Metropolis: an integrated electronic system design environment

Balarin, Felice; Watanabe, Yosinori; Hsieh, Harry; Lavagno, Luciano; Passerone, Claudio; Sangiovanni-Vincentelli, A.

doi:10.1109/mc.2003.1193228

Cited by 392 publications

(208 citation statements)

References 9 publications

Supporting

Mentioning

207

Contrasting

Unclassified

Order By: Relevance

“…Kianzad and Bhattacharyya propose a framework called CHARMED (Co-synthesis of HARdware-software Multimode EmbeddeD systems) [6] for the automatic design space exploration for periodic multi-mode embedded systems. Balarin et al [7] propose Metropolis, a design space exploration framework which integrates tools for simulation, verification, and synthesis. All these tools have in common that they either do not consider communication at all or assume restricted binding conditions by requiring explicit communication modeling which is prohibitive in networked embedded systems.…”

Section: Related Workmentioning

confidence: 99%

Design space exploration of reliable networked embedded systems

Streichert

Glaí

Haubelt

et al. 2007

Journal of Systems Architecture

View full text Add to dashboard Cite

In this paper, a new methodology is presented for topology optimization of networked embedded systems as they occur in automotive and avionic systems as well as wireless sensor networks. By introducing a model which is (1.) suitable for heterogeneous networks with different communication bandwidths, (2.) modeling of routing restrictions, and (3.) flexible binding of tasks onto processors, current design issues of networked embedded systems can be investigated. On the basis of this model, the presented methodology firstly allocates the required resources which can be communication links as well as computational nodes and secondly binds the functionality onto the nodes and the data dependencies onto the links such that no routing restrictions will be violated or capacities on communication links will be exceeded. Due to the often error-prone communication in networks, we allow for routing each data dependency over multiple routes in the networks. With this strategy, our methodology is able to increase the reliability of the entire system. This reliability analysis is based on Binary Decision Diagrams (BDDs) and is integrated in our multi-objective design space exploration. By applying Evolutionary Algorithms, we are able to consider multiple objectives simultaneously during the optimization process and allow for a subsequent unbiased decision making. An experimental evaluation as well as a demonstration of a case study from the field of automotive electronics will show the applicability of the presented approach.

show abstract

Section: Related Workmentioning

confidence: 99%

Design space exploration of reliable networked embedded systems

Streichert

Glaí

Haubelt

et al. 2007

Journal of Systems Architecture

View full text Add to dashboard Cite

show abstract

“…As mentioned in our introduction, there are various related architectural exploration environments (e.g., [7,13,24,27,35]) that, like Sesame, also facilitate flexible system-level performance evaluation by providing support for mapping a behavioral application specification to an architecture specification. In Gries [18], an excellent survey is presented of various methods, tools and environments for early design space exploration.…”

Section: Related Workmentioning

confidence: 99%

Calibration of Abstract Performance Models for System-Level Design Space Exploration

Pimentel

Thompson

Polstra

et al. 2007

J Sign Process Syst Sign Image

View full text Add to dashboard Cite

Abstract. High-level performance modeling and simulation have become a key ingredient of system-level design as they facilitate early architectural design space exploration. An important precondition for such highlevel modeling and simulation methods is that they should yield trustworthy performance estimations. This requires validation (if possible) and calibration of the simulation models, which are two aspects that have not yet been widely addressed in the system-level community. This article presents a number of mechanisms for both calibrating isolated model components as well as a system-level performance model as a whole. We discuss these model calibration mechanisms in the context of our Sesame system-level simulation framework. Two illustrative case studies will also be presented to indicate the merits of model calibration.

show abstract

“…Figure 3 shows the proposed method for the real-time analysis of distributed embedded systems. This method builds on the results of platform-based design [27] and model-integrated computing (MIC) [28]. Domain-specific modeling languages (DSMLs) play an essential role in the design and analysis process, and can also be used to synthesize executable code, simulations, or documentation.…”

Section: Model-based Verificationmentioning

confidence: 99%

Verifying distributed real-time properties of embedded systems via graph transformations and model checking

2006

View full text Add to dashboard Cite

Component middleware provides dependable and efficient platforms that support key functional, and quality of service (QoS) needs of distributed real-time embedded (DRE) systems. Component middleware, however, also introduces challenges for DRE system developers, such as evaluating the predictability of DRE system behavior, and choosing the right design alternatives before committing to a specific platform or platform configuration. Model-based technologies help address these issues by enabling design-time analysis, and providing the means to automate the development, deployment, configuration, and integration of component-based DRE systems. To this end, this paper applies model checking techniques to DRE design models using model transformations to verify key QoS properties of component-based DRE systems developed using Real-time CORBA. We introduce a formal semantic domain for a general class of DRE systems that enables the verification of distributed non-preemptive real-time scheduling. Our results show that model-based techniques enable design-time analysis of timed properties and can be applied to effectively predict, simulate, and verify the event-driven behavior of component-based DRE systems.

show abstract

Metropolis: an integrated electronic system design environment

Abstract: Based on a metamodel with formal semantics that developers can use to capture designs, Metropolis provides an environment for complex electronic-system design that supports simulation, formal analysis, and synthesis.

Cited by 392 publications

References 9 publications

Design space exploration of reliable networked embedded systems

Design space exploration of reliable networked embedded systems

Calibration of Abstract Performance Models for System-Level Design Space Exploration

Verifying distributed real-time properties of embedded systems via graph transformations and model checking

Contact Info

Product

Resources

About