Formal modeling with SysML

Bouabana-Tebibel, Thouraya; Rubin, Stuart H.; Bennama, Miloud

doi:10.1109/iri.2012.6303029

Cited by 9 publications

(5 citation statements)

References 11 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…There are several approaches for translating SysML models into a formal logic representation. 9,10 ATP has several benefits for digital engineering in general. It can be used to verify models so that engineers can identify errors and correct them before implementation, saving time and resources.…”

Section: Atp and Digital Engineeringmentioning

confidence: 99%

On combining automated theorem proving and digital engineering for general intelligence

Cody

Beling

2023

Disruptive Technologies in Information Sciences VII

View full text Add to dashboard Cite

In recent years, engineering intelligent systems has become closely related to integrating artificial intelligence (AI) or machine learning (ML) components into systems. There is a general sense that as the availability of computational resources scales, the intelligence of AI and ML components will scale, thus scaling the intelligence of the system as a whole. While this bottom-up approach has merit, it takes the task of engineering intelligence out of the hands of systems engineers and gives it to AI and ML engineers. In this paper, an alternative approach to engineering intelligence is outlined based on combining the concepts of automated theorem proving (ATP) and digital engineering. Instead of using AI and ML at the component-level, ATP can be applied at the systems-level to digital models and environments. By systematically solving proofs related to properties, functional requirements, and performance, ATP can contribute to the design, operation, and regulation of intelligent systems. This paper substantiates the use of ATP in digital engineering by using model-based systems engineering as an interface between the two. This paper illustrates this interface with a descriptive example in unmanned aerial systems. Ultimately, the use of ATP with digital engineering provides a top-down, systems-centric alternative to using AI and ML components as the primary means of engineering intelligence.

show abstract

Section: Atp and Digital Engineeringmentioning

confidence: 99%

On combining automated theorem proving and digital engineering for general intelligence

Cody

Beling

2023

Disruptive Technologies in Information Sciences VII

View full text Add to dashboard Cite

show abstract

“…TEPE may be integrated with a SysML real-time profile. The paper [23] presents a method of formalizing the SysML Internal Block Diagram (IBD) semantics, by mapping it into the Hierarchical Colored Petri Net (HCPNs) semantics. The Description Logic, namely, SHIOQ(D), is used in [24] to describe the block diagrams.…”

Section: Sysmlmentioning

confidence: 99%

EARL—Embodied Agent-Based Robot Control Systems Modelling Language

et al. 2020

View full text Add to dashboard Cite

The paper presents the Embodied Agent-based Robot control system modelling Language (EARL). EARL follows a Model-Driven Software Development approach (MDSD), which facilitates robot control system development. It is based on a mathematical method of robot controller specification, employing the concept of an Embodied Agent, and a graphical modelling language: System Modelling Language (SysML). It combines the ease of use of SysML with the precision of mathematical specification of certain aspects of the designed system. It makes the whole system specification effective, from the point of view of the time needed to create it, conciseness of the specification and the possibility of its analysis. By using EARL it is possible to specify systems both with fixed and variable structure. This was achieved by introducing a generalised system model and presenting particular structures of the system in terms of modelling block configurations adapted by using instances. FABRIC framework was created to support the implementation of EARL-based controllers. EARL is compatible with component based robotic middlewares (e.g., ROS and Orocos).

show abstract

“…SysML supports requirement definition, design, analysis, and validation of wide variety of systems in several engineering fields [13]. Representative diagrams of SysML are Block Definition Diagrams, Internal Block Diagrams, and Activity Diagrams.…”

Section: A Sysmlmentioning

confidence: 99%

Hardware-in-the-Loop based SysML for model and control design of interleaved boost converters

Gutiérrez

Chamorro

Jiménez

2014

2014 IEEE 15th Workshop on Control and Modeling for Power Electronics (COMPEL)

View full text Add to dashboard Cite

This paper outlines the application of the HiLeS-RCP (High Level Specification of Embedded Systems -Rich Client Platform) to model and design controllers of interleaved boost converters using the Systems Modelling Language (SysML). HiLeS-RCP allows the transformation from SysML models to Petri nets for implementation in embedded hardware. As a result, these models based on SysML can be used in Hardware-in-the-Loop (HIL) applications. In addition, the formal transformation from SysML to Petri nets is intended for structural analysis of the designed controllers in order to avoid undesired behaviours after implementation. As a case of study, HiLeS-RCP is used to model and design a supervisory controller for interleaved boost converters. This supervisory controller is implemented in FPGA; furthermore, embedded real time tools are used to evaluate the supervisory controller performance. Finally, experimental results show that the proposed methodology based on SysML and Petri nets is suitable to design controllers for interleaved boost converters.

show abstract

Formal modeling with SysML

Cited by 9 publications

References 11 publications

On combining automated theorem proving and digital engineering for general intelligence

On combining automated theorem proving and digital engineering for general intelligence

EARL—Embodied Agent-Based Robot Control Systems Modelling Language

Hardware-in-the-Loop based SysML for model and control design of interleaved boost converters

Contact Info

Product

Resources

About