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

Theelen, B.D.; Florescu, Oana; Geilen, Marc; Huang, Jinfeng; Putten, P.H.A. van der; Voeten, J.P.M.

doi:10.1109/memcod.2007.371231

Cited by 68 publications

(62 citation statements)

References 28 publications

(42 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…From the configuration DSL we generated models for the simulation tooling of POOSL [24] and the model checker mCRL2 [25]. The generators for mCRL2 and POOSL combine the behaviour of the high-level state machine and the low-level state behaviour described by the (generated) configuration file, into one state machine describing the complete system start-up and shutdown behaviour.…”

Section: B Analysis Modelsmentioning

confidence: 99%

Using Domain Specific Languages to Improve the Development of a Power Control Unit

Schuts

Hooman

2015

Annals of Computer Science and Information Systems

View full text Add to dashboard Cite

Abstract-To improve the design of a power control unit at Philips, two Domain Specific Languages (DSLs) have been used. The first DSL provides a concise and readable notation for the essential state transitions. It is used to generate both configuration files and analysis models. In addition, we also generate instances of a second DSL which represents test traces. This second DSL is used to generate test cases for the power control unit. The use of DSLs not only improved productivity, but also the quality of the configuration files and the test set.

show abstract

Section: B Analysis Modelsmentioning

confidence: 99%

Using Domain Specific Languages to Improve the Development of a Power Control Unit

Schuts

Hooman

2015

Annals of Computer Science and Information Systems

View full text Add to dashboard Cite

show abstract

“…Meanwhile, POOSL has been extended with time in [4] and probabilities in [3] to become a very expressive formal modeling language accompanied with simulation, analysis and synthesis techniques that scale to large industrial design problems [10].…”

Section: Poosl Model Of a Realistic Motion Control Systemmentioning

confidence: 99%

UPPAAL in Practice: Quantitative Verification of a RapidIO Network

Xing

Theelen²,

Langerak

et al. 2010

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract. Packet switched networks are widely used for interconnecting distributed computing platforms. RapidIO (Rapid Input/Output) is an industry standard for packet switched networks to interconnect multiple processor boards. Key performance metrics for these platforms include average-case and worst-case packet transfer latencies. We focus on verifying such quantitative properties for a RapidIO based multiprocessor platform that executes a motion control application. A performance model is available in the Parallel Object-Oriented Specification Language (POOSL) that allows for simulation based estimation results. It is however required to determine the exact worst-case latency as the application is time-critical. A model checking approach has been proposed in our previous work which transforms the POOSL model into an UPPAAL model. However, such an approach only works for a fairly small system. We extend the transformation approach with various heuristics to reduce the underlying state space, thereby providing an effective approximation approach that scales to industrial problems of a reasonable complexity.

show abstract

“…To construct a global system model, we have used a general-purpose system-level design methodology called Software/Hardware Engineering (SHE) [2]. In this methodology, models are expressed in the Parallel ObjectOriented Specification Language (POOSL).…”

Section: Holistic System Modementioning

confidence: 99%

Connecting Technical and Non-technical Views of System Architectures

Hooman

Voeten

2010

2010 IEEE/ACM Int'l Conference on Green Computing and Communications &Amp; Int'l Conference on Cyber, Physical and Social Compu

View full text Add to dashboard Cite

Abstract-When designing, adapting or extending a complex cyber physical system, it extremely difficult to guarantee that all parts cooperate correctly, especially when many parties are involved in the development process. We propose a new approach to identify and to solve problems in the early development phases, thus reducing costs in the system implementation, test and integration phases. This is achieved by making a global, holistic model of the system with different views. From the technical point of view, a system simulation model is constructed which can be used to validate whether the global system architecture satisfies the main requirements. To bridge the gap between technical specialists and non-technical stakeholders, this technical system view can be connected to a user-friendly animation tool. This allows the creation of an interactive prototype with different stakeholder views. The approach will be illustrated by a case study in the healthcare domain.

show abstract

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

Abstract: Abstract

Cited by 68 publications

References 28 publications

Using Domain Specific Languages to Improve the Development of a Power Control Unit

Using Domain Specific Languages to Improve the Development of a Power Control Unit

UPPAAL in Practice: Quantitative Verification of a RapidIO Network

Connecting Technical and Non-technical Views of System Architectures

Contact Info

Product

Resources

About