Towards a Unified View of Modeling and Programming (ISoLA 2018 Track Introduction)

Broy, Manfred; Havelund, Klaus; Kumar, Rahul; Steffen, Bernhard

doi:10.1007/978-3-030-03418-4_1

Cited by 7 publications

(4 citation statements)

References 40 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Railway operations for German railways are not described by a single document, but by (1) legal regulations, the "Eisenbahn-Bau-und Betriebsordnung" (Law for Operating and Building Railways) [10], (2) public rulebooks managed by Deutsche Bahn (DB), in particular Ril. 408 [7] and 819 [8], (3) internal rulebooks for operations, (4) requirements specification for technical elements, (5) training documentation and (6) internal announcements. FormbaR only considers the operations of DB, but other railway companies are also bound to the same legal regulations (and to Ril.…”

Section: Specification Of Railway Operationsmentioning

confidence: 99%

“…• Integration of conceptual modeling [28] into formal model validation by connecting requirements and formal model with a domain ontology 5 .…”

Section: Conclusion and Future Researchmentioning

confidence: 99%

“…However, formal modeling poses challenges that prevent the straightforward adaption of, e.g., Software Engineering practices. The boundary between modeling and programming is not clear [5], but concerning validating programs and formal system models of the described kind the main difference is that model validation of formal system models requires to validate a white-box model (in contrast to a blackbox model when testing a program) and, in particular, raises the following points: Cognitive Burden. Significant cognitive burden is required to judge formal system models, as formal modeling languages are not adopted by all industries and there is little training material available.…”

Section: Introductionmentioning

confidence: 99%

“…The additional 4 minutes are caused by a non-optimal train dispatching in our model. However, the duties of the train dispatcher to document the situation and give written orders in case of faults accounts for this 5. Conceptual modeling faces similar problems with validation, but is more abstract in the information it captures and relies more on implicit knowledge, than specifications, designs or a concrete existing system.…”

mentioning

confidence: 99%

See 3 more Smart Citations

Tool Support for Validation of Formal System Models: Interactive Visualization and Requirements Traceability

Kamburjan

Stromberg

2019

Electron. Proc. Theor. Comput. Sci.

View full text Add to dashboard Cite

Development processes in various engineering disciplines are incorporating formal models to ensure safety properties of critical systems. The use of these formal models requires to reason about their adequacy, i.e., to validate that a model mirrors the structure of the system sufficiently that properties established for the model indeed carry over to the real system. Model validation itself is non-formal, as adequacy is not a formal (i.e., mathematical) property. Instead it must be carried out by the modeler to justify the modeling to the certification agency or other stakeholders. In this paper we argue that model validation can be seen as a special form of requirements engineering, and that interactive visualization and concepts from requirements traceability can help to advance tool support for formal modeling by lowering the cognitive burden needed for validation. We present the VisualisierbaR tool, which supports the formal modeling of railway operations and describe how it uses interactive visualization and requirements traceability concepts to validate a formal model.

show abstract

Section: Specification Of Railway Operationsmentioning

confidence: 99%

“…• Integration of conceptual modeling [28] into formal model validation by connecting requirements and formal model with a domain ontology 5 .…”

Section: Conclusion and Future Researchmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

mentioning

confidence: 99%

See 2 more Smart Citations