Loading...
Please wait, while we are loading the content...
Similar Documents
Towards System Level Performance Modelling (1998)
| Content Provider | CiteSeerX |
|---|---|
| Author | Voeten, J. P. M. Putten, P. H. A. Van Der Geilen, M. C. W. Stevens, M. P. J. |
| Description | To manage complexity and to shorten design cycles, industry is forced to look at system level methods for specification and design. These methods focus on the creation of executable system models describing a system in the earliest phases of the design process. They allow correctness properties and performance characteristics to be analysed before the system is actually being realised in terms of hardware and software components. Techniques based on classical process algebras (such as CCS and CSP) and their timed extensions have proven to be very useful to describe complex systems and to verify their functional correctness. These techniques, however, lack the possibilities to express probabilistic behaviour and to analyse performance properties. The reason is that the semantics depends upon the concept of non-determinism of choice where the biases in the resolution of possible transitions are left unspecified. In this paper we make a first attempt into extending a realistic system level modelling language POOSL with the capabilities to express probabilistic behaviour. The extension consists of adding probabilistic information to transitions. It will be shown how the extended language allows the estimation of the performance of a datalink protocol. Keywords--- performance modelling, performance evaluation, formal specification, object-oriented methods I. |
| File Format | |
| Language | English |
| Publisher Date | 1998-01-01 |
| Publisher Institution | In Proceedings of ProRISC’98 (Mierlo, The Netherlands, November 25–27). STW Technology Foundation |
| Access Restriction | Open |
| Subject Keyword | Design Cycle Complex System Realistic System Level Correctness Property Software Component Object-oriented Method Formal Specification System Level Method Classical Process Algebra Towards System Level Performance Modelling Design Process Executable System Model Language Poosl Possible Transition Timed Extension Functional Correctness Performance Property Probabilistic Behaviour Keywords Performance Modelling Performance Evaluation Extended Language Datalink Protocol Performance Characteristic First Attempt Probabilistic Information |
| Content Type | Text |
| Resource Type | Article |
