Kossak F.,Software Competence Center Hagenberg GmbH
Communications in Computer and Information Science | Year: 2014
We present an ASM model for the case study given as a challenge for the ABZ'14 conference, which specifies the digital part of a landing gear system for aircraft. We strove to make the formal model well understandable for humans. We note inconsistencies, ambiguities and gaps in the case study and summarise our experiences during modelling and the proof of safety properties. © Springer International Publishing Switzerland 2014.
Biro M.,Software Competence Center Hagenberg GmbH
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | Year: 2014
The paper presents an update of the change of expectations and most recent new approaches regarding software processes and their improvement following the Software Process Improvement Hype Cycle introduced earlier by the author as an extension of the Gartner Hype Cycle idea. Software process assessment and improvement can itself be considered on the more abstract level as a quest for compliance with best practices. Etics and regulatory regimes explicitly addressing safety-critical systems mean however stringent compliance requirements beyond the commitment to improve process capability. New approaches are necessary for software engineers to fulfill the considerably growing expectations regarding quality under much slower changing development budget and deadline constraints. Open Services for Lifecycle Collaboration (OSLC) is the emerging initiative inspired by the web which is currently at the technology trigger stage along its hype cycle with the potential to have a determining impact on the future of Software Process Compliance Engineering. © 2014 Springer International Publishing Switzerland.
Mashkoor A.,Software Competence Center Hagenberg GmbH
Software Quality Journal | Year: 2015
Advanced medical devices exploit the advantages of embedded software whose development is subject to compliance with stringent requirements of standardization and certification regimes due to the critical nature of such systems. This paper presents initial results and lessons learned from an ongoing project focusing on the development of a formal model of a subsystem of a software-controlled safety-critical active medical device (AMD) responsible for renal replacement therapy. The use of formal approaches for the development of AMDs is highly recommended by standards and regulations, and motivates the recent advancement of the state of the art of related methods and tools including Event-B and Rodin applied in this paper. It is expected that the presented model development approach and the specification of a high-confidence medical system will contribute to the still sparse experience base available at the disposal of the scientific and practitioner community of formal methods and software engineering. © 2015 Springer Science+Business Media New York
Natschlager C.,Software Competence Center Hagenberg GmbH
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | Year: 2011
The Business Process Model and Notation (BPMN) is maintained by the Object Management Group (OMG) and a widely-used standard for process modeling. A drawback of BPMN, however, is that modality is implicitly expressed through the structure of the process flow. All activities are implicitly mandatory and whenever something should be optional, a gateway or event is used to split the process flow and offer the possibility to execute the task or to do nothing. This requires a comprehensive understanding of the whole process to identify mandatory, optional and alternative activities. The paper addresses this issue and extends BPMN with deontic logic to explicitly highlight modality. After a detailed study of modality expressed through various BPMN elements, an approach based on path exploration is introduced to support the deontic analysis. The result is an algebraic graph transformation from BPMN to Deontic BPMN diagrams, reducing the structural complexity and allowing better readability by explicitly highlighting the deontic classification. The understandability of Deontic BPMN is studied by means of a preliminary survey. © 2011 Springer-Verlag Berlin Heidelberg.
Chasparis G.C.,Software Competence Center Hagenberg GmbH
2015 European Control Conference, ECC 2015 | Year: 2015
The problem of efficient resource allocation has drawn significant attention in many scientific disciplines due to its direct societal benefits, such as energy savings. Traditional approaches in addressing online resource allocation neglect the potential benefit of feedback information available from the running tasks/loads as well as the potential flexibility of a task to adjust its operation level in order to increase efficiency. The present paper builds upon recent developments in the area of bandwidth allocation in computing systems and proposes a design methodology for addressing a large class of online resource allocation problems with flexible tasks. The proposed methodology is based upon a measurement- or utility-based learning scheme, namely reinforcement learning. We demonstrate through analysis the potential of the proposed scheme in asymptotically providing efficient resource allocation when only measurements of the performances of the tasks are available. © 2015 EUCA.