A Model-based approach for the synthesis of software to firmware adapters for use with automatically generated components

Natale, Marco Di; Perillo, David; Chirico, Francesco; Sindico, Andrea; Sangiovanni-Vincentelli, A.

doi:10.1007/s10270-016-0534-0

Cited by 4 publications

(6 citation statements)

References 17 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…INCOSE OOSEM is based on the functional decomposition approach. It employs the top-down approach, where the modelling order takes place from the most general to the most detailed areas of (3) automatic code generation for PLC/PAC [23,26,27]; (4) programming the control platform; (5) Hardware-In-the-Loop testing [28][29][30]; (6) virtual testing used to validate of the solution [7,18]; (7,8) conducting real-time testing for final system approval.…”

Section: Incose Object-oriented Systems Engineering Methods (Oosem)mentioning

confidence: 99%

“…Depending on the adoption level of Model-Based Design, different tools and approaches (e.g., manual vs. automated) will be utilized to aid the design process found in Figure 2. [20,24,25]; (2) generating documentation from simulation tests; (3) automatic code generation for PLC/PAC [23,26,27]; (4) programming the control platform; (5) Hardware-In-the-Loop testing [28][29][30]; (6) virtual testing used to validate of the solution [7,18]; (7,8) conducting real-time testing for final system approval.…”

Section: Modelling Workflowmentioning

confidence: 99%

“…These are data, programs, files, documents, source codes that have some meaning in another context; they are produced through the design process. For example, when utilizing automatic code generation for a PLC program [27,43], it is generated from high-level software models (M1) to the standardized form of IEC 61131-3 compliant control software codes (M0) [37,38,44].…”

Section: Metamodeling Goalsmentioning

confidence: 99%

See 2 more Smart Citations

Metamodelling for Design of Mechatronic and Cyber-Physical Systems

Pietrusewicz

2019

Applied Sciences

View full text Add to dashboard Cite

The paper presents the issue of metamodeling of Domain-Specific Languages (DSL) for the purpose of designing complex mechatronics systems. Usually, one of the problems during the development of such projects is an interdisciplinary character of the team that is involved in this endeavour. The success of a complex machine project (e.g. Computer Numerically Controlled machine (CNC), loading crane, forestry crane) often depends on a proper communication between team members. The domain-specific modelling languages developed using one of the two approaches discussed in the work, lead to a machine design that can be carried out much more efficiently than with conventional approaches. Within the paper, the Meta-Object Facility (MOF) approach to metamodeling is presented; it is much more prevalent in modern modelling software tools than Graph-Object-Property-Relationship-Role (GOPRR). The main outcome of this work is the first presentation of researchML modelling language that is the result of more than twenty ambitious research and development projects. It is effectively used within new enterprises and leads to improved traceability of the project goals. It enables for fully-featured automatic code generation which is one of the main pillars of the agile management within mechatronic system design projects.

show abstract

Section: Incose Object-oriented Systems Engineering Methods (Oosem)mentioning

confidence: 99%

Section: Modelling Workflowmentioning

confidence: 99%

Section: Metamodeling Goalsmentioning

confidence: 99%

See 1 more Smart Citation

Metamodelling for Design of Mechatronic and Cyber-Physical Systems

Pietrusewicz

2019

Applied Sciences

View full text Add to dashboard Cite

show abstract

“…Transformations from SysML to Simulink models (and vice versa) have motivated several research works such as [ 3 , 5 , 32 , 39 ]. [ 5 , 32 , 39 ] and [ 3 ] made use of model-to-text transformations with Acceleo [ 45 ] to produce MATLAB programs that on execution created the Simulink model.…”

Section: Related Workmentioning

confidence: 99%

“…Indexed data containers that can store any type of data 5. Groups of data in containers that store any type of data 6.…”

mentioning

confidence: 99%

Runtime translation of OCL-like statements on Simulink models: Expanding domains and optimising queries

Pina

Zolotas

Rodriguez³

et al. 2021

Softw Syst Model

View full text Add to dashboard Cite

Open-source model management frameworks such as OCL and ATL tend to focus on manipulating models built atop the Eclipse Modelling Framework (EMF), a de facto standard for domain specific modelling. MATLAB Simulink is a widely used proprietary modelling framework for dynamic systems that is built atop an entirely different technical stack to EMF. To leverage the facilities of open-source model management frameworks with Simulink models, these can be transformed into an EMF-compatible representation. Downsides of this approach include the synchronisation of the native Simulink model and its EMF representation as they evolve; the completeness of the EMF representation, and the transformation cost which can be crippling for large Simulink models. We propose an alternative approach to bridge Simulink models with open-source model management frameworks that uses an “on-the-fly” translation of model management constructs into MATLAB statements. Our approach does not require an EMF representation and can mitigate the cost of the upfront transformation on large models. To evaluate both approaches we measure the performance of a model validation process with Epsilon (a model management framework) on a sample of large Simulink models available on GitHub. Our previous results suggest that, with our approach, the total validation time can be reduced by up to 80%. In this paper, we expand our approach to support the management of Simulink requirements and dictionaries, and we improve the approach to perform queries on collections of model elements more efficiently. We demonstrate the use of the Simulink requirements and dictionaries with a case study and we evaluate the optimisations on collection queries with an experiment that compares the performance of a set of queries on models with different sizes. Our results suggest an improvement by up to 99% on some queries.

show abstract