Software/Hardware Engineering with the Parallel Object-Oriented Specification Language

B. Theelen,O. Florescu,M. Geilen,Jinfeng Huang,P. V. D. Putten,J. Voeten

Published 2007 in International Conference on Formal Methods and Models for Co-Design

ABSTRACT

No abstract is available for this paper.

PUBLICATION RECORD

Publication year
2007
Venue
International Conference on Formal Methods and Models for Co-Design
Publication date
2007-05-30
Fields of study
Computer Science, Engineering
Identifiers
DOI 10.1109/MEMCOD.2007.371231
External record
Open on Semantic Scholar
Source metadata
Semantic Scholar

CITATION MAP

EXTRACTION MAP

CLAIMS

No claims are published for this paper.

CONCEPTS

No concepts are published for this paper.

REFERENCES

The unified modeling language reference manual
2010cited by this paper
A model-driven design approach for mechatronic systems
2007influential reference
Reusing Real-Time Systems Design Experience Through Modelling Patterns
2006cited by this paper
Utilising Evolutionary Approaches and Object Oriented Techniques for Design Space Exploration
2006cited by this paper
Strengthening Property Preservation in Concurrent Real-Time Systems
2006cited by this paper
A scenario-aware data flow model for combined long-run average and worst-case performance analysis
2006cited by this paper
Systematic Implementation of Real-Time Models
2005cited by this paper
SERIE S ON INTEGRATED CIRCUITS AND SYSTEMS
2005cited by this paper
Performance modelling for system-level design
2004cited by this paper
Performance modelling of a network processor using POOSL
2003cited by this paper
Architecting Systems with UML 2.0
2003influential reference
Design and Validation of Computer Protocols
2003cited by this paper
An Abstract Modeling Approach Towards System-Level Design-Space Exploration
2003cited by this paper
Traversing the Fundamental System-Level Design Gap Using Modeling Patterns
2003cited by this paper
Constructive tool design for formal languages : from semantics to executing models
2002influential reference
Performance evaluation with temporal rewards
2002influential reference
System Design with SystemC
2002cited by this paper
Formal techniques for verification of complex real-time systems
2002cited by this paper
On the Construction of Monitors for Temporal Logic Properties
2001cited by this paper
The simulation semantics of SystemC
2001cited by this paper
System-level design: orthogonalization of concerns andplatform-based design
2000cited by this paper
Automatic verification of real-time systems with discrete probability distributions
1999cited by this paper
Network simulations with OPNET
1999cited by this paper
Model Checking of Safety Properties
1999cited by this paper
Specification and Description Language (SDL)
1999cited by this paper
Specification of reactive hardware/software systems : the method software/hardware engineering (SHE)
1997cited by this paper
Uppaal in a nutshell
1997cited by this paper
Modeling and verification of randomized distributed real-time systems
1996cited by this paper
Stochastic Models: An Algorithmic Approach
1995cited by this paper
Tableau methods to describe strong bisimilarity on LOTOS processes involving pure interleaving and enabling
1994cited by this paper
An Overview and Synthesis on Timed Process Algebras
1991cited by this paper
The ESTEREL language
1991cited by this paper
Techniques for automatic verification of real-time systems
1991influential reference
The Temporal Logic of Reactive and Concurrent Systems
1991cited by this paper
Mathematical Methods in Linguistics
1990cited by this paper
Specifying real-time properties with metric temporal logic
1990cited by this paper
Communication and concurrency
1989cited by this paper
The C Programming Language
1978cited by this paper
An introduction to the regenerative method for simulation analysis
1977cited by this paper

CITED BY

Model-Driven System-Performance Engineering for Cyber-Physical Systems : Industry Session Paper
2021cites this paper
A systematic mapping of semi-formal and formal methods in requirements engineering of industrial Cyber-Physical systems
2021cites this paper
Reducing design time and promoting evolvability using Domain-Specific Languages in an industrial context
2020cites this paper
CoHLA: Rapid Co-simulation Construction
2020cites this paper
Early Analysis of Cyber-Physical Systems using Co-simulation and Multi-level Modelling
2019influential citation
CoHLA: Design space exploration and co-simulation made easy
2018cites this paper
Scalability Analysis of Cloud-Based Distributed Simulations of IoT Systems Using HLA
2018influential citation
An Abstraction-Refinement Theory for the Analysis and Design of Concurrent Real-Time Systems
2018cites this paper
Building Distributed Co-Simulations Using CoHLA
2018cites this paper
Dynamic Dataflow Graphs
2018cites this paper
Modular specification and design exploration for flexible manufacturing systems
2018cites this paper
Analysis and optimization techniques for real-time streaming image processing software on general purpose systems
2018cites this paper
Co-Simulation Method for Hardware/Software Evaluation Using Xilinx System Generator: A Case Study on Image Compression Algorithms for Capsule Endoscopy
2018cites this paper
Rapid Construction of Co-Simulations of Cyber-Physical Systems in HLA Using a DSL
2017cites this paper
xCPS: a tool to explore cyber physical systems
2017cites this paper
Runtime Monitoring Based on Interface Specifications
2017cites this paper
Developing an easy-to-use Query language for verification of lighting systems
2017cites this paper
Integrating Interface Modeling and Analysis in an Industrial Setting
2017cites this paper
Co-simulation of cyber-physical systems using HLA
2017cites this paper
Formal analysis and verification of embedded systems for healthcare
2016cites this paper
HAPI: An Event-Driven Simulator for Real-Time Multiprocessor Systems
2016influential citation
Efficiently Computing Latency Distributions by Combined Performance Evaluation Techniques
2016cites this paper
Industrial Application of Domain Specific Languages Combined with Formal Techniques
2016cites this paper
Formal Aspects of Computing Formalizing and testing the consistency of DSL transformations
2016cites this paper
Industrial Experiences with a Formal DSL Semantics to Check the Correctness of Generated DSL Artifacts∗
2016cites this paper
Industrial Experiences with a Formal DSL Semantics to Check the Correctness of DSL Artifacts
2016cites this paper
Industrial Application of Formal Models Generated from Domain Specific Languages
2016cites this paper
Formalizing and testing the consistency of DSL transformations
2016cites this paper
Using Domain Specific Languages to improve the development of a power control unit
2015cites this paper
Formalizing the Concept Phase of Product Development
2015influential citation
The Ψ-chart Design Approach in TTool / DIPLODOCUS : a Framework for Hw / Sw Co-Design of Data-Dominated Systems-on-Chip
2015cites this paper
Industrial Experiences with a Formal DSL Semantics to Check Correctness of DSL Transformations
2015cites this paper
Uniting Academic Achievements on Performance Analysis with Industrial Needs
2015influential citation
Aplikasi Administratif Surat Menyurat Menggunakan Metodologi Pemodelan Berbasis Objek
2015cites this paper
Communication of Simulation and Modelling Activities in Early Systems Engineering
2015cites this paper
xCPS: A tool to eXplore Cyber Physical Systems
2015cites this paper
Early Insight in Systems Design through Modeling and Simulation
2014cites this paper
Efficient end-to-end latency distribution analysis for probabilistic time-triggered systems
2014influential citation
Spacecraft early design validation using formal methods
2014cites this paper
Conference on Systems Engineering Research (CSER 2014)
2014cites this paper
A formal approach to collaborative modelling and co-simulation for embedded systems†
2013cites this paper
Early Fault Detection Using Design Models for Collision Prevention in Medical Equipment
2013cites this paper
Calibration Error Bound Estimation in Performance Modeling
2013cites this paper
Performance Evaluation for Collision Prevention Based on a Domain Specific Language
2013cites this paper
Performance analysis of real-time task systems using timed automata
2013cites this paper
Model-Driven Design-Space Exploration for Software-Intensive Embedded Systems
2013cites this paper
Early Fault Detection in Industry Using Models at Various Abstraction Levels
2012influential citation
Reusable and Correct Endogenous Model Transformations
2012cites this paper
Proving correctness of threaded parallel executable code generated from models described by a domain specific language
2012cites this paper
COMMUNICATION AMONG HARDWARE AND SOFTWARE ENGINEERS BY TECHNICAL NOTATIONS
2012cites this paper
Enhancing Formal Modelling Tool Support with Increased Automation
2012cites this paper
Model-Driven Design-Space Exploration for Software-Intensive Embedded Systems - (Extended Abstract)
2012cites this paper
MDE Basics with a DSL Focus
2012cites this paper
Architecture-aware cost modelling for parallel performance portability
2012cites this paper
Multi-core CPU Exploration for CARM Host in ASML Technology
2012cites this paper
From napkin sketches to reliable software
2012influential citation
Automating timed specification transparency for human designer validation of real-time discrete-event control requirements
2012cites this paper
A visual language for modeling and analyzing printer data path architectures
2011cites this paper
Predicting Timing Performance of Advanced Mechatronics Control Systems
2011cites this paper
Integrated model-driven design-space exploration for embedded systems
2011cites this paper
Data format notations for technical communication among hardware and software engineers
2011cites this paper
A Deterministic Interpreter Simulating a Distributed Real Time System Using VDM
2011cites this paper
Probabilistic Performance Prediction
2011cites this paper
Multiple Use-cases System Design
2011cites this paper
Prototyping the Semantics of a DSL using ASF+SDF: Link to Formal Verification of DSL Models
2011cites this paper
Multiprocessor System Design and Synthesis
2011cites this paper
Model-Driven Design-Space Exploration for Embedded Systems: The Octopus Toolset
2010cites this paper
An exercise in iterative domain-specific language design
2010cites this paper
A scheduler synthesis methodology for joint SW/HW design exploration of SoC
2010cites this paper
Iterative Probabilistic Performance Prediction for
2010cites this paper
From POOSL to UPPAAL: Transformation and Quantitative Analysis
2010influential citation
UPPAAL in Practice: Quantitative Verification of a RapidIO Network
2010cites this paper
Iterative Probabilistic Performance Prediction for Multi-Application Multiprocessor Systems
2010influential citation
Connecting Technical and Non-technical Views of System Architectures
2010cites this paper
Y-chart based system design: a discussion on approaches
2009cites this paper
Analysis, Design and Management of Analysis, Design and Management of Multimedia Multiprocessor Systems. Advanced School for Computing and Imaging
2009cites this paper
Patterns for Automatic Generation of Soft Real-time System Models
2009influential citation
A platform-based design framework for joint SW/HW multiprocessor systems design
2009cites this paper
Predictable embedded multiprocessor architecture for streaming applications
2009cites this paper
Codesign of dependable systems: A component-based modeling language
2009cites this paper
Exploring Multi-Paradigm Modeling Techniques
2009cites this paper
Model-Driven Engineering Meets Generic Language Technology
2009influential citation
HW/SW Design Space Exploration on the Production Cell Setup
2009influential citation
Multiprocessor systems synthesis for multiple use-cases of multiple applications on FPGA
2008cites this paper
FPGA based Control of a Production Cell System
2008cites this paper
Code generation through model transformation
2008cites this paper
Joint SW/HW Modelling and Design Exploration Using P-Ware
2008cites this paper
Parallel object-oriented specification language
2008cites this paper
Scenario-Aware Dataflow
2008cites this paper
Performance Model Generation for MPSoC Design-Space Exploration
2008influential citation
Analyzing composability of applications on MPSoC platforms
2008influential citation
Accurate run-time performance prediction for multi-application multiprocessor systems
2008cites this paper
FPGA-based control of the production cell using Handel-C
2008cites this paper
Predictable design for real-time systems
2007cites this paper
Practical and Accurate Throughput Analysis with the Cyclo Static Dataflow Model
2007cites this paper
A Probabilistic Approach to Model Resource Contention for Performance Estimation of Multi-featured Media Devices
2007cites this paper
An overview of Mirjam and WeaveC
2007cites this paper
Multi-Processor System-Level Synthesis for Multiple Applications on Platform FPGA
2007cites this paper
Ideals : evolvability of software-intensive high-tech systems : a collaborative research project on maintaining complex embedded systems
2007cites this paper
Chapter 5 An overview of Mirjam and WeaveC
2007cites this paper