A framework for embedded system specification under different models of computation in SystemC

No abstract is available for this paper.

• Publication year

  2006

• Venue

  2006 43rd ACM/IEEE Design Automation Conference

• Publication date

  2006-07-24

• Fields of study

  Computer Science, Engineering

• Identifiers
  DOI 10.1145/1146909.1147140
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Heterogeneous System-level Specification Using SystemC

  2008cited by this paper
• Advances in design and specification languages for SoCs : selected contributions from FDL'04

  2005cited by this paper
• Transaction Level Modeling with SystemC

  2005influential reference
• Mixing Synchronous Reactive and Untimed Models of Computation

  2005cited by this paper
• SystemC Kernel extensions for heterogeneous system modeling - a framework for multi-MoC modeling and simulation

  2004cited by this paper
• Single Source Design Environment for Embedded Systems Based on SystemC

  2004cited by this paper
• Languages for System Specification

  2004cited by this paper
• Metropolis: An Integrated Electronic System Design Environment

  2003influential reference
• Modeling embedded systems and SoCs - concurrency and time in models of computation

  2003cited by this paper
• SystemC: methodologies and applications

  2003cited by this paper
• System Modeling and Design Refinement in ForSyDe

  2003cited by this paper
• System Design with SystemC

  2002influential reference
• A framework for comparing models of computation

  1998cited by this paper
• Theories of Programming Languages: Communicating Sequential Processes

  1998influential reference
• Software synthesis for DSP using ptolemy

  1995cited by this paper
• Dataflow process networks

  1995influential reference
• The synchronous approach to reactive and real-time systems

  1991cited by this paper
• Conclusions

  1989cited by this paper
• Synchronous data flow

  1987cited by this paper
• The Semantics of a Simple Language for Parallel Programming

  1974influential reference

• Role of Embedded System for Sustainable Development Goals: Agriculture, Energy and Waste Management Systems in Indian Perspective

  2025cites this paper
• A Literature Review on Embedded Systems

  2020cites this paper
• A Literature Review on Embedded Systems

  2019cites this paper
• Re-use of tests and arguments for assesing dependable mixed-critically systems

  2017cites this paper
• Design of a virtual prototyping framework for composable heterogeneous systems. (Principes et réalisation d'un environnement de prototypage virtuel de systèmes hétérogènes composables)

  2017cites this paper
• WP 3-D 3 . 1 : Foundations for Model-Based Runtime Methods

  2017cites this paper
• System-level modeling and simulation of microelectromechanical systems for multi-physics virtual prototyping in SystemC-AMS. (Modélisation et simulation haut-niveau de micro-systèmes électromécaniques pour le prototypage virtuel multi-physique en SystemC-AMS)

  2016cites this paper
• Pre-simulation elaboration of heterogeneous systems: The SystemC multi-disciplinary virtual prototyping approach

  2015cites this paper
• Automatic synthesis of communication and concurrency for exploring component-based system implementations considering UML channel semantics

  2015cites this paper
• Crossing Modeling Paradigms in System Models

  2015cites this paper
• The SATURN Approach to SysML-based HW / SW

  2013cites this paper
• Fast and accurate TLM simulations using temporal decoupling for FIFO-based communications

  2013cites this paper
• UNIVERCM: The UNIversal VERsatile Computational Model for Heterogeneous System Integration

  2013cites this paper
• MOUSSE: Scaling modelling and verification to complex Heterogeneous Embedded Systems evolution

  2012cites this paper
• Formal Support for Untimed MARTE-SystemC Interoperability

  2012cites this paper
• A Heterogeneous Simulation and Modeling Framework for Automation Systems

  2012cites this paper
• A formal support for homogeneous simulation of heterogeneous embedded systems

  2012cites this paper
• High level modeling of heterogeneous systems, analog/digital interfacing.

  2012cites this paper
• Formal Foundations for the Generation of Heterogeneous Executable Specifications in SystemC from UML/MARTE Models

  2012influential citation
• Modeling Cyber–Physical Systems

  2012cites this paper
• Automatic synthesis from UML/MARTE models using channel semantics

  2012cites this paper
• ANDRES – Analysis and Design of Run-Time Reconfigurable, Heterogeneous Systems

  2011cites this paper
• A Programmable Video Platform and Its Application Mapping Framework Using the Target Application's SystemC Models

  2011cites this paper
• Component-based design for the future

  2011cites this paper
• Heterogeneous actor modeling

  2011influential citation
• Addressing Modeling Challenges in Cyber-Physical Systems

  2011cites this paper
• Efficient Modelling and Simulation Methodology for the Design of Heterogeneous Mixed-Signal Systems on Chip

  2011influential citation
• Generating heterogeneous executable specifications in SystemC from UML/MARTE models

  2010cites this paper
• Distributed Resource-Aware Scheduling for Multi-core Architectures with SystemC

  2010cites this paper
• The SATURN Approach to SysML-Based HW/SW Codesign

  2010cites this paper
• HetMoC: Heterogeneous Modelling in SystemC

  2010cites this paper
• Introducing Hardware-in-Loop Concept to the Hardware/Software Co-design of Real-time Embedded Systems

  2010cites this paper
• Disciplined Heterogeneous Modeling - Invited Paper.

  2010cites this paper
• Executable SystemC specification of the MARTE generic concurrent and communication resources under different Models of Computation

  2010cites this paper
• Disciplined heterogeneous modeling

  2010influential citation
• Classes and inheritance in actor-oriented design

  2009cites this paper
• Scalable Semantic Annotation Using Lattice-Based Ontologies

  2009cites this paper
• SystemC-based codesign of distributed embedded systems

  2009cites this paper
• An Extensible and Retargetable Code Generation Framework for Actor Models

  2009cites this paper
• Efficient modelling and simulation of embedded software multi-tasking using SystemC and OSSS

  2008cites this paper
• Modeling of Embedded Software Multitasking in SystemC/OSSS

  2008cites this paper
• Symbolic Scheduling of SystemC Dataflow Designs

  2008cites this paper
• Symbolic quasi-static scheduling of actor-oriented SystemC models

  2008cites this paper
• Modelling Adaptive Systems in ForSyDe

  2008cites this paper
• Heterogeneous Specification with HetSC and SystemC-AMS: Widening the Support of MoCs in SystemC

  2008cites this paper
• Co-Simulation of mixed HW/SW and Analog/RF systems at architectural level

  2008cites this paper
• Connecting SystemC-AMS models with OSCI TLM 2.0 models using temporal decoupling

  2008cites this paper
• Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems

  2007cites this paper
• Ingredients for Successful System Level Automation & Design Methodology

  2007influential citation
• A framework for heterogeneous specification and design of electronic embedded systems in SystemC

  2007cites this paper
• The Andres Project: Analysis and Design of Run-Time Reconfigurable, Heterogeneous Systems

  2007cites this paper
• Specification of alternative execution semantics of UML sequence diagrams within actor-oriented models

  2007cites this paper
• A general approach to the interoperability of HetSC and SystemC-AMS

  2007cites this paper
• Using converter channels within a top-down design flow in SystemC

  2007cites this paper
• Modele projektowe w języku SystemC

  2007cites this paper
• Operational Semantics of Hybrid Systems

  2005cites this paper
• Mathematical Structures in Computer Science a Modular Formal Semantics for Ptolemy a Modular Formal Semantics for Ptolemy †

  year unknowncites this paper