RSE’s research interests promote the use of formal approaches for the production of correct and reliable software, the modeling and analysis of processes as well as Model-based Systems Engineering. The correct use of formal/rigorous methods complements today’s software development methods and thus promotes precise modeling of critical system components with the goal of achieving security, integrity and reliability.
Modell-basierte Entwicklung von Software,model-based development,Spezifikation,software specification,Verifikation,verification,Software-Zertifizierung,software certification,Software-Qualitätssicherung,software quality assurance,Codeartefakte aus Modellen generieren,generation of code artifacts from models,Anforderungserhebung,requirements engineering,Geschäftsprozessmodellierung,business process modeling,Formale Methoden (Abstract State Machines, Event-B),Formal methods (Abstract State Machines, Event-B),Process Mining,Process Mining,Prozessvorhersage,Process Prediction,Prozesse in der Industrie,industrial processes
Verena Geist improves tools for formal business descriptions. Faced with the trend towards digitalization in industry and the accompanying flexibility and automation of manufacturing processes, new challenges arise - also for the designers of business processes
BPMN is a widespread standard for business process modeling. At the SCCH an ontology was developed that formalizes the BPMN specification. The ontology can also be used to check a concrete model. The SCCH provides the ontology free of charge for download.
Two high school students conducted research at Software Competence Center Hagenberg in the realm of the program “Talents: Internships for Students” funded by the Austrian Research Promotion Agency (FFG) and the Austrian Federal Ministry for Transportation, Innovation and Technology.
In medicine, transportation (fully automated trains, aerospace) and in energy production (atomic power plants), software errors can have severe consequences. The use of formal methods can help to prevent such bugs in advance. In our interview, Dr. Christine Natschläger explains why formal methods will rise in importance in the future and why they continue to play a marginal role.
The 5th international conference on ABZ (ASM, Alloy, B, TLA, VDM, and Z) methods took place in Linz from May 23 to 27, 2016. The main focus of the conference was the cross-fertilization of six related state-based and machine-based rigorous methods: Abstract State Machines, Alloy, B, Temporal Logics of Actions, Vienna Development Method and Z. These methods share a common conceptual foundation and are widely used in both academia and industry for the design and analysis of hardware and software systems. About 65 researchers from all over the world attended this conference.
This book presents a proposal for designing business process management (BPM) systems that comprise much more than just process modelling. Based on a purified Business Process Model and Notation (BPMN) variant, the authors present proposals for several important issues in BPM that have not been adequately considered in the BPMN 2.0 standard. It focusses on modality as well as actor and user interaction modelling and offers an enhanced communication concept.
The wide-ranging discussion on Industry 4.0 (the smart factory) has made it ever clearer that the digitization and so the modeling of products along with their manufacture will be core components of future production. This requires the use of models for more and more aspects of product development and production. 30 participants followed the invitation of the SCCH to this experts workshop at the beginning of March.
The quality of software and its development processes can be considerably enhanced by using formal engineering methods. Formal methods can be introduced gradually, in customisable ways, with less effort for a start than many will assume. There exist many different methods, each of which suitable for certain project types, settings, and quality goals. But how do you choose the right method for your company or project?
Frederic Boniol and Virgine Wiels have worked out a case study for the ABZ 2014 conference as “a benchmark for techniques and tools dedicated to the verification of behavioral properties of systems”. The case study is titled “Landing gear system” and presents the requirements for the digital part of a landing gear system for aircraft.