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

Authors:
B. D. Theelen;O. Florescu;M. C. W. Geilen;J. Huang;P. H. A. van der Putten;J. P. M. Voeten
Affiliations:
Eindhoven University of Technology, Department of Electrical Engineering, P.O. Box 513, 5600 MB Eind;Eindhoven University of Technology, Department of Electrical Engineering, P.O. Box 513, 5600 MB Eind;Eindhoven University of Technology, Department of Electrical Engineering, P.O. Box 513, 5600 MB Eind;Eindhoven University of Technology, Department of Electrical Engineering, P.O. Box 513, 5600 MB Eind;Eindhoven University of Technology, Department of Electrical Engineering, P.O. Box 513, 5600 MB Eind;Eindhoven University of Technology, Department of Electrical Engineering, P.O. Box 513, 5600 MB Eind
Venue:
MEMOCODE '07 Proceedings of the 5th IEEE/ACM International Conference on Formal Methods and Models for Codesign
Year:
2007

Citing 0
Cited 17

A probabilistic approach to model resource contention for performance estimation of multi-featured media devices

Proceedings of the 44th annual Design Automation Conference
Multiprocessor systems synthesis for multiple use-cases of multiple applications on FPGA

ACM Transactions on Design Automation of Electronic Systems (TODAES)
Analyzing composability of applications on MPSoC platforms

Journal of Systems Architecture: the EUROMICRO Journal
Model-Driven Engineering Meets Generic Language Technology

Software Language Engineering
A platform-based design framework for joint SW/HW multiprocessor systems design

Journal of Systems Architecture: the EUROMICRO Journal
Patterns for Automatic Generation of Soft Real-time System Models

Simulation
Exploring Multi-Paradigm Modeling Techniques

Simulation
Codesign of dependable systems: a component-based modeling language

MEMOCODE'09 Proceedings of the 7th IEEE/ACM international conference on Formal Methods and Models for Codesign
Iterative probabilistic performance prediction for multi-application multiprocessor systems

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
An exercise in iterative domain-specific language design

Proceedings of the Joint ERCIM Workshop on Software Evolution (EVOL) and International Workshop on Principles of Software Evolution (IWPSE)
Model-driven design-space exploration for embedded systems: the octopus toolset

ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part I
UPPAAL in practice: quantitative verification of a RapidIO network

ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II
Connecting Technical and Non-technical Views of System Architectures

GREENCOM-CPSCOM '10 Proceedings of the 2010 IEEE/ACM Int'l Conference on Green Computing and Communications & Int'l Conference on Cyber, Physical and Social Computing
A Deterministic Interpreter Simulating A Distributed real time system using VDM

ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
Reusable and correct endogenous model transformations

ICMT'12 Proceedings of the 5th international conference on Theory and Practice of Model Transformations
MDE basics with a DSL focus

SFM'12 Proceedings of the 12th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: formal methods for model-driven engineering
Early fault detection in industry using models at various abstraction levels

IFM'12 Proceedings of the 9th international conference on Integrated Formal Methods

Quantified Score

Hi-index	0.00

Visualization

Abstract

The complexity of designing hardware/software systems motivates research on frameworks that structure and automate the design process. Such design methodologies reduce the risk of expensive design-implementation iterations by assisting designers in constructing models. Software/Hardware Engineering (SHE) is a general-purpose system-level design methodology that supports analysing both functional correctness and performance properties. SHE combines the Unified Modelling Language with the Parallel Object-Oriented Specification Language to specify models. The designer is assisted in constructing models using these languages and applying the analysis techniques with various guidelines and modelling patterns. A key feature of SHE is its foundation on formal methods, which ensures that the obtained analysis results are unambiguous. SHE also includes guidelines and techniques for automatic synthesis of real-time control software. This is again based on formal methods to ensure that properties in a model (including real-time properties) are preserved by the software realisation. Finally, to enable an effective and efficient application of the modelling languages as well as the analysis and synthesis techniques, SHE is accompanied with a set of user-friendly tools. This paper gives an overview of SHE, thereby briefly touching upon the underlying mathematical foundation of the analysis and synthesis techniques as well as upon some open issues that require further research.