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

B.D. Theelen, O. Florescu, M.C.W. Geilen, J. Huang, P.H.A. Putten, van der, J.P.M. Voeten

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

64 Citations (Scopus)

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.
Original languageEnglish
Title of host publicationProceedings of the 5th ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2007) 30 May - 2 June 2007, Nice, France
Place of PublicationPiscataway, New Jersey, USA
PublisherIEEE Computer Society
Pages139-148
ISBN (Print)1-4244-1050-9
DOIs
Publication statusPublished - 2007
Eventconference; MEMOCODE 2007, Nice, France; 2007-05-30; 2007-06-01 -
Duration: 30 May 20071 Jun 2007

Conference

Conferenceconference; MEMOCODE 2007, Nice, France; 2007-05-30; 2007-06-01
Period30/05/071/06/07
OtherMEMOCODE 2007, Nice, France

Fingerprint Dive into the research topics of 'Software/Hardware Engineering with the Parallel Object-Oriented Specification Language'. Together they form a unique fingerprint.

  • Cite this

    Theelen, B. D., Florescu, O., Geilen, M. C. W., Huang, J., Putten, van der, P. H. A., & Voeten, J. P. M. (2007). Software/Hardware Engineering with the Parallel Object-Oriented Specification Language. In Proceedings of the 5th ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2007) 30 May - 2 June 2007, Nice, France (pp. 139-148). IEEE Computer Society. https://doi.org/10.1109/MEMCOD.2007.371231