@inproceedings{formreq20, author = {Sch{\"{o}}pp, Ulrich and Schweiger, Andreas and Reich, Marina and Chuprina, Tatiana and L{\'{u}}cio, Levi and Br{\"{u}}ning, Hartmut}, title = {Requirements-based Code Model Checking}, booktitle = {IEEE Workshop on Formal Requirements (FORMREQ2020)}, publisher = {IEEE}, pages = {21--27}, year = {2020}, month = aug, abstract = {Building the system right is the objective of quality assurance methods. Though testing is the most prominent and widely-adopted means, it cannot prove the absence of software's defects. Therefore, static measures such as formal proofs can complement dynamic methods. However, these techniques require the formal statement of requirements, which is still a challenge in industry development. This paper suggests a way of formalizing requirements in controlled natural language in a way that applies directly to C program code. By mapping natural language terms to conditional breakpoints, requirements can be translated to formal language expressed in observer automata. The creation of a mapping between natural language terms and code is supported by natural language processing methods. Finally, the observer automata are model checked against the code. In our approach we demonstrate the described steps using a set of realistically shaped requirements, which are common in the avionics domain. We implemented a simple tool hiding the abstract and mathematical details, which performs the proofs automatically. The paper is presented as an approach towards the seamless verification of code against requirements typically found in the avionics domain.}, doi = {10.1109/FORMREQ51202.2020.00011}, } @article{, author = {Chuprina, Tatiana and Mendez, Daniel and Wnuk, Krzysztof}, title = {Towards Artefact-based Requirements Engineering for Data-Centric Systems}, publisher = {CEUR}, journal = {Proc. 2nd International Workshop on Requirements Engineering for Artificial Intelligence}, year = {2020}, url = {https://arxiv.org/abs/2103.05233}, } @inproceedings{reich19aviose, author = {Reich, Marina and Chuprina, Tatiana and Nigam, Vivek}, title = {Towards Computer-Aided Software Requirements Process}, booktitle = {Proceedings of the Workshops of the Software Engineering Conference 2019, Stuttgart, Germany, February 19, 2019.}, publisher = {{IEEE}}, pages = {75--78}, year = {2019}, } @misc{, author = {L{\'{u}}cio, Levi and Voss, Sebastian and Chuprina, Tatiana and Bayha, Andreas and Eder, Johannes and Kanav, Sudeep}, title = {[T3] Develop your Own Car}, booktitle = {MODELS Conference Tutorials}, series = {MODELS 2018 Conference Tutorials, Copenhagen, Denmark}, year = {2018}, month = oct, address = {Copenhagen, Denmark}, abstract = {AutoFOCUS3 (AF3) is a mature model-driven engineering environment to develop software for embedded systems. For the past 20 years,several versions of AF3 have served as a platform for experimenting with cutting-edge research ideas in Model-Driven Development. AF3 is a tool that fully encompasses the software life cycle, from requirements, to architecture, simulation, deployment, code generation and verification. The attendees of this tutorial will be given the unique opportunity to model and deploy software on a real remote-controlled vehicle, using only AF3. Attendees will start by modeling the software controller for a blinker, which will be integrated with the model of the vehicle’s software. The generated code will then be flashed onto a Raspberry Pi contained in the physical remote-controlled model vehicle which can then be driven in the real world. Attendees who finish early will be able to model more advanced driving assistance functionalities. The last part of the tutorial will be dedicated to deepening the attendees’ understanding of the modeling capabilities of AF3 in areas such as requirements engineering, design-space exploration, building safety cases, formal verification, modeling processes, testing or variability modeling.}, keywords = {AutoFOCUS3, case study, fortissimo, rover, model-based systems engineering, MbSE}, url = {https://modelsconf2018.github.io/program/tutorials/#t3-develop-your-own-car}, }