A formal, model-driven design flow for system simulation and multi-core implementation

2015 ◽  
Author(s):  
Papa Issa Diallo ◽  
Seyed-Hosein Attarzadeh-Niaki ◽  
Francesco Robino ◽  
Ingo Sander ◽  
Joel Champeau ◽  
...  
Keyword(s):  
Formal Model ◽  
System Simulation ◽  
Design Flow ◽  
Model Driven

scholarly journals Dependability Modeling and Assessment in UML-Based Software Development

2012 ◽  
Vol 2012 ◽  
pp. 1-11 ◽  
Author(s):  
Simona Bernardi ◽  
José Merseguer ◽  
Dorina C. Petriu
Keyword(s):  
Software Development ◽  
Formal Model ◽  
General Purpose ◽  
Software Modeling ◽  
Model Driven ◽  
Domain Specific ◽  
Software Model ◽  
Software Models ◽  
Assessment Approach ◽  
System Properties

Assessment of software nonfunctional properties (NFP) is an important problem in software development. In the context of model-driven development, an emerging approach for the analysis of different NFPs consists of the following steps: (a) to extend the software models with annotations describing the NFP of interest; (b) to transform automatically the annotated software model to the formalism chosen for NFP analysis; (c) to analyze the formal model using existing solvers; (d) to assess the software based on the results and give feedback to designers. Such a modeling→analysis→assessment approach can be applied to any software modeling language, be it general purpose or domain specific. In this paper, we focus on UML-based development and on the dependability NFP, which encompasses reliability, availability, safety, integrity, and maintainability. The paper presents the profile used to extend UML with dependability information, the model transformation to generate a DSPN formal model, and the assessment of the system properties based on the DSPN results.

Combining Heterogeneity, Compositionality, and Automatic Generation in Formal Modelling

2013 ◽  
pp. 17-33
Author(s):  
Stefano Marrone ◽  
Nicola Mazzocca ◽  
Roberto Nardone ◽  
Valeria Vittorini
Keyword(s):  
Flexible Manufacturing ◽  
Manufacturing Systems ◽  
Formal Model ◽  
Automatic Generation ◽  
Formal Proof ◽  
Functional Requirements ◽  
Formal Modelling ◽  
Model Driven ◽  
Analysis Methodology ◽  
Market Needs

Critical computer-based systems have an increasing complexity due to the number of components, to their heterogeneity, and to the relationships among them. Such systems must meet strict non-functional requirements and should be able to cope with competitive market needs. The adoption of formal methods is often advocated in order to provide formal proof, but their application does not scale with the growing size of systems. The aim of this chapter is to introduce a modelling and analysis methodology that allows the combination of three proven research trends in formal modelling of large systems: formal model generation (by means of model-driven techniques), multiformalism, and compositional approaches. In this chapter there is also a discussion about enabling techniques. The proposed approach has been applied to the performability modelling and evaluation of flexible manufacturing systems.

A Model-driven Co-design Flow for Embedded Systems

2007 ◽  
pp. 265-284 ◽  
Author(s):  
Sara Bocchio ◽  
Elvinia Riccobene ◽  
Alberto Rosti ◽  
Patrizia Scandurra
Keyword(s):  
Embedded Systems ◽  
Design Flow ◽  
Model Driven

scholarly journals Safety-Assured Formal Model-Driven Design of the Multifunction Vehicle Bus Controller

2016 ◽  
pp. 757-763 ◽  
Author(s):  
Yu Jiang ◽  
Han Liu ◽  
Houbing Song ◽  
Hui Kong ◽  
Ming Gu ◽  
...  
Keyword(s):  
Formal Model ◽  
Model Driven

scholarly journals A model-driven approach to e-course management

2017 ◽  
Author(s):  
Goran Savić ◽  
Milan Segedinac ◽  
Dušica Milenković ◽  
Tamara Hrin ◽  
Mirjana Segedinac
Keyword(s):  
Domain Knowledge ◽  
Formal Model ◽  
Course Management System ◽  
Learning Design ◽  
Course Management ◽  
Model Driven ◽  
Machine Readable ◽  
Model Driven Approach ◽  
Development And Management

This paper presents research on using a model-driven approach to the development and management of electronic courses. We propose a course management system which stores a course model represented as distinct machine-readable components containing domain knowledge of different course aspects. Based on this formally defined platform-independent source course model, the system programmatically generates a final course in different platform-specific target models. Currently, our system supports the generation of IMS learning design, SCORM, LAMS and Sakai courses. The case study presents a formal model of the Web programming course and its transformation to the supported target models.

Quality in Model Driven Engineering

2009 ◽  
pp. 37-56 ◽  
Author(s):  
Teade Punter ◽  
Jeroen Voeten
Keyword(s):  
Quality Assurance ◽  
Embedded Systems ◽  
Conceptual Framework ◽  
Systems Design ◽  
Design Flow ◽  
Model Driven Engineering ◽  
New Approach ◽  
Model Driven ◽  
The Difference ◽  
Near Future

This chapter argues that embedded systems design faces several challenges of which late integration and the difference in development productivity between disciplines are major ones. Model driven engineering (MDE) looks a promising approach to address these challenges. However, MDE is a new approach which has to be defined and implemented in close interaction by academia and industry the near future. We therefore provide a conceptual framework to understand the possibilities and the flaws in quality assurance in the MDE design flow.

Sign in / Sign up

Export Citation Format

Share Document