Object-oriented modelling and specification using SHE

Authors:
M. C. W. Geilen;J. P. M. Voeten;P. H. A. Van Der Putten;L. J. Van Bokhoven;M. P. J. Stevens
Affiliations:
Section of Information and Communication Systems, Faculty of Electrical Engineering, Eindhoven University of Technology, P.O. Box 513, 5600 MB Eindhoven, The Netherlands;Section of Information and Communication Systems, Faculty of Electrical Engineering, Eindhoven University of Technology, P.O. Box 513, 5600 MB Eindhoven, The Netherlands;Section of Information and Communication Systems, Faculty of Electrical Engineering, Eindhoven University of Technology, P.O. Box 513, 5600 MB Eindhoven, The Netherlands;Section of Information and Communication Systems, Faculty of Electrical Engineering, Eindhoven University of Technology, P.O. Box 513, 5600 MB Eindhoven, The Netherlands;Section of Information and Communication Systems, Faculty of Electrical Engineering, Eindhoven University of Technology, P.O. Box 513, 5600 MB Eindhoven, The Netherlands
Venue:
Computer Languages
Year:
2001

Citing 4
Cited 3

Specifying real-time requirements for SDL specifications - a temporal logic-based approach

Proceedings of the Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification XV
An On-the-Fly Tableau Construction for a Real-Time Temporal Logic

FTRTFT '00 Proceedings of the 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
An Overview and Synthesis on Timed Process Algebras

CAV '91 Proceedings of the 3rd International Workshop on Computer Aided Verification
Checking formal specifications under simulation

ICCD '97 Proceedings of the 1997 International Conference on Computer Design (ICCD '97)

Performance modelling of a network processor using POOSL

Computer Networks: The International Journal of Computer and Telecommunications Networking - Network processors
An effective network processor design framework: using multi-objective evolutionary algorithms and object oriented techniques to optimise the intel IXP1200 network processor

Proceedings of the 2006 ACM/IEEE symposium on Architecture for networking and communications systems
Predictable real-time software synthesis

Real-Time Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

Industry is facing a crisis in the design of complex hardware/software systems. Due to the increasing complexity, the gap between the generation of a product idea and the realisation of a working system is expanding rapidly. To manage complexity and to shorten design cycles, industry is forced to look at system-level languages towards specification and design. The (formal) system-level modelling language called POOSL is very expressive and is able to model dynamic hard real-time behaviour and to (visually) capture static (architecture and topology) structure in an object-oriented fashion. The language integrates a process part, based on the process algebra CCS, with a data part, based on the concepts of traditional object-oriented programming languages and it is equipped with a formal semantics. Currently, a number of automated software tools (model editing, simulator and compiler tools) are available in an environment called SHESim. These tools allow visual entry of structure and topology of the system, whereas dynamic behaviour of individual processes is expressed in an expressive imperative language. The formal semantics of POOSL provides a solid basis for the application of verification and performance analysis techniques and establishing a rigorous connection to existing analysis tools.