Toward Object-oriented Modeling in SCCharts

2021 ◽  
Vol 20 (4) ◽  
pp. 1-26
Author(s):  
Alexander Schulz-Rosengarten ◽  
Steven Smyth ◽  
Michael Mendler
Keyword(s):  
Graphical Representation ◽  
Reactive Systems ◽  
Object Oriented ◽  
Object Orientation ◽  
Critical Systems ◽  
Synchronous Languages ◽  
Scheduling Policies ◽  
Object Oriented Design ◽  
Modeling Process ◽  
Safety Critical Systems

Object orientation is a powerful and widely used paradigm for abstraction and structuring in programming. Many languages are designed with this principle or support different degrees of object orientation. In synchronous languages, originally developed to design embedded reactive systems, there are only few object-oriented influences. However, especially in combination with a statechart notation, the modeling process can be improved by facilitating object orientation as we argue here. At the same time the graphical representation can be used to illustrate the object-oriented design of a system. Synchronous statechart dialects, such as the SCCharts language, provide deterministic concurrency for specifying safety-critical systems. Using SCCharts as an example, we illustrate how an object-oriented modeling approach that supports inheritance can be introduced. We further present how external, i.e., host language, objects can be included in the SCCharts language. Specifically, we discuss how the recently developed concepts of scheduling directives and scheduling policies can be used to ensure the determinism of objects while retaining encapsulation.

scholarly journals SCCharts - Language and Interactive Incremental Compilation

2017 ◽  
Author(s):  
Christian Motika
Keyword(s):  
Nuclear Power ◽  
Power Plants ◽  
Reactive Systems ◽  
Control Flow ◽  
Model Transformations ◽  
Critical Systems ◽  
Safety Critical ◽  
Incremental Model ◽  
Software Models ◽  
Safety Critical Systems

Safety-critical systems are a subclass of reactive systems, a dominating class of computer systems these days. Such systems control the airbags in our cars, the flaps of an aircraft, nuclear power plants or pace makers. Software for these systems must be reliable. Hence, a language and tooling is needed that allows to build and maintain reliable software models. Furthermore, a reliable compiler is required to obtain decent machine-understandable and executable code from highly abstract models. This thesis presents SCCharts, a Statecharts-based synchronous and visual modeling language for specifying and designing safety-critical systems and for deriving their implementations. It elaborates on why a control-flow oriented and synchronous language is desirable and how incremental language features are chosen to flatten learning curve. It presents an interactive incremental model transformation based compilation approach termed SLIC. It shows how SLIC helps in supporting both, the modeler and the tool smith for building reliable models and maintaining a reliable compiler, respectively. A SLIC-based compiler for SCCharts including its high-level model transformations is presented. Furthermore, practicality aspects of the KIELER SCCharts language and tooling implementation complete the considerations to validate the proposed approach.

scholarly journals SCCharts - Language and Interactive Incremental Compilation

2017 ◽  
Author(s):  
Christian Motika
Keyword(s):  
Nuclear Power ◽  
Power Plants ◽  
Reactive Systems ◽  
Control Flow ◽  
Model Transformations ◽  
Critical Systems ◽  
Safety Critical ◽  
Incremental Model ◽  
Software Models ◽  
Safety Critical Systems

Safety-critical systems are a subclass of reactive systems, a dominating class of computer systems these days. Such systems control the airbags in our cars, the flaps of an aircraft, nuclear power plants or pace makers. Software for these systems must be reliable. Hence, a language and tooling is needed that allows to build and maintain reliable software models. Furthermore, a reliable compiler is required to obtain decent machine-understandable and executable code from highly abstract models. This thesis presents SCCharts, a Statecharts-based synchronous and visual modeling language for specifying and designing safety-critical systems and for deriving their implementations. It elaborates on why a control-flow oriented and synchronous language is desirable and how incremental language features are chosen to flatten learning curve. It presents an interactive incremental model transformation based compilation approach termed SLIC. It shows how SLIC helps in supporting both, the modeler and the tool smith for building reliable models and maintaining a reliable compiler, respectively. A SLIC-based compiler for SCCharts including its high-level model transformations is presented. Furthermore, practicality aspects of the KIELER SCCharts language and tooling implementation complete the considerations to validate the proposed approach.

scholarly journals Translation from Event-B into Eiffel

2018 ◽  
Vol 25 (6) ◽  
pp. 623-636
Author(s):  
Sofia Reznikova ◽  
Victor Rivera ◽  
Joo Young Lee ◽  
Manuel Mazzara
Keyword(s):  
Programming Language ◽  
Reactive Systems ◽  
Object Oriented ◽  
Critical Systems ◽  
Functional Requirements ◽  
Modelling Language ◽  
Formal Modelling ◽  
Modelling Languages ◽  
System Properties ◽  
Open Question

Formal modelling languages play a key role in the development of software: they enable users to specify functional requirements that serve as documentation as well; they enable users to prove the correctness of system properties, especially for critical systems. However, there is still an open question on how to map formal models to a specific programming language. In order to propose a solution, this paper presents a source-to-source mapping between Event-B models, a formal modelling language for reactive systems, and Eiffel programs, an Object Oriented (O-O) programming language. The mapping not only generates an actual Eiffel code of the Event-B model, but also translates model properties as contracts. The contracts follow the Design by Contract principle and are natively supported by the programming language. The mapping is implemented in the freely available Rodin plug-in EB2Eiffel. Thus, users can develop systems (i) starting with the modelling of functional requirements (properties) in Event-B, then (ii) formally proving the correctness of such properties in Rodin and finally (iii) by using EB2Eiffel to translate the model into Eiffel. In Eiffel, users can extend/customise the implementation of the model and formally prove it against the initial model. This paper also presents different Event-B models from the literature to test EB2Eiffel and its limitations. The article is published in the authors’ wording.

Cardiological Database Management System as a Mediator to Clinical Decision Support

1996 ◽  
Vol 35 (01) ◽  
pp. 52-58 ◽  
Author(s):  
A. Mavromatis ◽  
N. Maglaveras ◽  
A. Tsikotis ◽  
G. Pangalos ◽  
V. Ambrosiadou ◽  
...  
Keyword(s):  
Management System ◽  
Database Management ◽  
Medical Information ◽  
Object Oriented ◽  
Medical Personnel ◽  
Database Management System ◽  
Ease Of Use ◽  
Medical Database ◽  
Analysis And Design ◽  
Object Oriented Design

AbstractAn object-oriented medical database management system is presented for a typical cardiologic center, facilitating epidemiological trials. Object-oriented analysis and design were used for the system design, offering advantages for the integrity and extendibility of medical information systems. The system was developed using object-oriented design and programming methodology, the C++ language and the Borland Paradox Relational Data Base Management System on an MS-Windows NT environment. Particular attention was paid to system compatibility, portability, the ease of use, and the suitable design of the patient record so as to support the decisions of medical personnel in cardiovascular centers. The system was designed to accept complex, heterogeneous, distributed data in various formats and from different kinds of examinations such as Holter, Doppler and electrocardiography.

Generation of testing script based on XML for safety-critical systems

2011 ◽  
Vol 31 (1) ◽  
pp. 281-285
Author(s):  
Huan HE ◽  
Zhong-wei XU ◽  
Gang YU ◽  
Shi-yu YANG
Keyword(s):  
Critical Systems ◽  
Safety Critical ◽  
Safety Critical Systems
Sign in / Sign up

Export Citation Format

Share Document