Model Checking of Security-Critical Applications in a Model-Driven Approach

2013 ◽  
pp. 76-90 ◽  
Author(s):  
Marian Borek ◽  
Nina Moebius ◽  
Kurt Stenzel ◽  
Wolfgang Reif
Keyword(s):  
Model Checking ◽  
Model Driven ◽  
Model Driven Approach

A Framework for Developing Cyber-Physical Systems

2017 ◽  
Vol 27 (09n10) ◽  
pp. 1361-1386 ◽  
Author(s):  
Xudong He ◽  
Zhijiang Dong ◽  
Heng Yin ◽  
Yujian Fu
Keyword(s):  
Quality Assurance ◽  
Model Checking ◽  
System Development ◽  
Cyber Physical Systems ◽  
Physical Systems ◽  
Model Driven ◽  
Domain Specific ◽  
High Level ◽  
Model Driven Approach ◽  
Oriented Approach

Cyber-physical systems (CPSs) are pervasive in our daily life from mobile phones to auto-driving cars. CPSs are inherently complex due to their sophisticated behaviors and thus difficult to build. In this paper, we propose a framework to develop CPSs based on a model-driven approach with quality assurance throughout the development process. An agent-oriented approach is used to model individual physical and computation processes using high-level Petri nets, and an aspect-oriented approach is used to integrate individual models. The Petri net models are systematically mapped to classes and threads in Java, which are enhanced and extended with domain-specific functionalities. Complementary quality assurance techniques are applied throughout system development and deployment, including simulation and model checking of design models, model checking of Java code, and runtime verification of Java executable. We demonstrate our framework using a car parking system.

A model-driven approach to cross-platform development of accessible business apps

2020 ◽  
Author(s):  
Christoph Rieger ◽  
Daniel Lucrédio ◽  
Renata Pontin M. Fortes ◽  
Herbert Kuchen ◽  
Felipe Dias ◽  
...  
Keyword(s):  
Model Driven ◽  
Cross Platform ◽  
Platform Development ◽  
Model Driven Approach

scholarly journals Learn-CIAM: A Model-Driven Approach for the Development of Collaborative Learning Tools

2021 ◽  
Vol 11 (6) ◽  
pp. 2554
Author(s):  
Yoel Arroyo ◽  
Ana I. Molina ◽  
Miguel A. Redondo ◽  
Jesús Gallardo
Keyword(s):  
Collaborative Learning ◽  
Methodological Approach ◽  
Automatic Generation ◽  
Learning Activities ◽  
Learning Tools ◽  
Model Driven ◽  
Collaborative Tools ◽  
Learning Tasks ◽  
Collaborative Learning Tools ◽  
Model Driven Approach

This paper introduces Learn-CIAM, a new model-based methodological approach for the design of flows and for the semi-automatic generation of tools in order to support collaborative learning tasks. The main objective of this work is to help professors by establishing a series of steps for the specification of their learning courses and the obtaining of collaborative tools to support certain learning activities (in particular, for in-group editing, searching and modeling). This paper presents a complete methodological framework, how it is supported conceptually and technologically, and an application example. So to guarantee the validity of the proposal, we also present some validation processes with potential designers and users from different profiles such as Education and Computer Science. The results seem to demonstrate a positive reception and acceptance, concluding that its application would facilitate the design of learning courses and the generation of collaborative learning tools for professionals of both profiles.

Sign in / Sign up

Export Citation Format

Share Document