model checking at the design level makes it possible to find protocol flaws in security-critical applications automatically. But depending on the size of the application and especially on the abstraction of the applic...
详细信息
model checking at the design level makes it possible to find protocol flaws in security-critical applications automatically. But depending on the size of the application and especially on the abstraction of the application model,model checking may need a lot of resources, primarily time. To reduce the complexity, the application models are usually highly abstracted. But in a model-driven approach with automatic generation of runnable applications the application models need to be detailed and are often too complex to check in reasonable time. In this paper we describe an approach to handle this problem by using additional UML models to restrict the protocol runs, the attacker abilities and the numbers of participants. This makes model checking of large applications in our model-driven approach called Secure MDD possible without manual abstraction of the generated specifications. For model checking we use AVANTSSAR and show how the restrictions modeled within UML are translated. We demonstrate our approach with a smart card based electronic ticketing example.
AUTOSAR enhances the management of complex automotive electrical and electronic architectures by improving the reusability and interchangeability of software modules between OEMs and suppliers. However, existing AUTOS...
详细信息
ISBN:
(数字)9798331527471
ISBN:
(纸本)9798331527488
AUTOSAR enhances the management of complex automotive electrical and electronic architectures by improving the reusability and interchangeability of software modules between OEMs and suppliers. However, existing AUTOSAR modeling tools need help with non-intuitive representation and complicated architectural relationship modeling processes. In this paper, we propose a visual architecture modeling language to represent based on model-driven development of the system architecture design of vehicles. Our approach addresses these issues by implementing multi-dimensional visualization capabilities, incorporating two-dimensional graphical representations and detailed one-dimensional tabular displays. Furthermore, we introduce a practical'AUTOSAR meeting in the middle modeling method, which allows for separate modeling at different levels. This approach effectively harnesses the expertise of detailed bottom-level designers and high-level architects, improving efficiency in automotive system design. A detailed case study and evaluation substantiate the effectiveness of our modeling language in describing the system architecture.
The Internet of Things (IoT) has emerged as one of the prominent concepts in academic discourse in recent times reflecting a wider trend by industry to connect physical objects to the Internet and to each other. The I...
详细信息
The Internet of Things (IoT) has emerged as one of the prominent concepts in academic discourse in recent times reflecting a wider trend by industry to connect physical objects to the Internet and to each other. The IoT is already generating an unprecedented volume of data in greater varieties and higher velocities. Making sense of such data is an emerging and significant challenge. Infographics are visual representations that provide a visual space for end users to compare and analyze data, information, and knowledge in a more efficient form than traditional forms. The nature of loT requires a continuum modification in how end users see information to achieve such efficiency gains. Conceptualizing and implementing Infographics in an loT system can thus require significant planning and development for both data scientists, graphic designers and developers resulting in both costs in terms of time and effort. To address this problem, this paper presents SiMoNa, a domain-specific modeling language (DSML) to create, connect, interact, and build interactive infographic presentations for loT systems efficiently based on the model-driven develonment (MDD) naradiam.
In this paper, we apply model-driven techniques to create a link between bottom-up and top-down safety analysis methods. Around MetaFPA, an internal framework for Metamodeling-based Failure Propagation Analysis, we bu...
详细信息
ISBN:
(纸本)9781509036899
In this paper, we apply model-driven techniques to create a link between bottom-up and top-down safety analysis methods. Around MetaFPA, an internal framework for Metamodeling-based Failure Propagation Analysis, we build a safety evaluation environment integrating standard tools used for FMEDA: Failure Modes, Effects, and Diagnostic Analysis (e.g., Excel spreadsheets) and FTA: Fault Tree Analysis (e.g., Isograph's Reliability Workbench). The environment contains data exchange and conversion utilities and implements an algorithm to synthesize fault trees out of failure propagation models created with MetaFPA. A case study of an Electric Power Steering (EPS) system shows an effort reduction of up to 70% in creating and handling data-intensive failure analysis models compared to manual approaches. Furthermore, the productive deployment of the environment simplifies safety engineering tasks and helps to advance the quality of safety-relevant components and systems.
Welcome to the 14th International Workshop on model-driven Requirements Engineering (MoDRE'24) at the Requirements Engineering Conference. The MoDRE workshop series has established a forum where researchers and pr...
详细信息
ISBN:
(数字)9798350395518
ISBN:
(纸本)9798350395525
Welcome to the 14th International Workshop on model-driven Requirements Engineering (MoDRE'24) at the Requirements Engineering Conference. The MoDRE workshop series has established a forum where researchers and practitioners can discuss the challenges of model-driven development (MDD) for Requirements Engineering (RE).
Confidence in a communication protocol's security is a key requirement for its deployment and long-term maintenance. Checking if a vulnerability exists and is exploitable requires extensive expertise. The research...
详细信息
This article presents the results of a usability evaluation initiative conducted on the Domain Specific Language for Spatial Simulation Scenarios (short name DSL3S) and its supporting tools. This language applies a Mo...
详细信息
This article presents the results of a usability evaluation initiative conducted on the Domain Specific Language for Spatial Simulation Scenarios (short name DSL3S) and its supporting tools. This language applies a model-driven development approach to spatial simulation, providing modeldevelopment through the composition of graphical elements and the subsequent transformation to source code. Potential users trained in disciplines related to Geographic Information Systems were exposed for a first time to the language with an introductory exercise. After installing the supporting tools and developing a simple spatial simulation model, participants then evaluated the language and its tools by answering a questionnaire. The results of this evaluation point to a good degree of usability, with particularly positive appreciations of the DSL3S supporting tools. Notwithstanding, participants also show some reluctance in adopting such a development framework, hinting at some reminiscent scepticism towards domain specific modelling languages and model-driven development.
We present a tool chain for model-driven development of asynchronous message-passing applications. The key features of the tool allow designers to identify misbehaviour leading to unsound communications, to provide co...
详细信息
We present a tool chain for model-driven development of asynchronous message-passing applications. The key features of the tool allow designers to identify misbehaviour leading to unsound communications, to provide counterexamples, and to suggest possible corrections as well as to project global specifications to local models in order to generate executable implementations.
暂无评论