Ruizhe

OMG System Modeling Language (Version 2.0 beta 2) 第六章：介绍 Clause 7 describes SysML from a user point of view. Its subclauses describe the modeling constructs in SysML, including for each a general overview, related abstract syntax diagrams and a description of the textual and graphical notation. The overviews in this clause should be considered informative. The abstract syntax and notation subclauses, however, are normative, including descriptions of the processing of the textual notation and i ...

Towards the Formal Verification of SysML v2 Models Abstraction Systems Modeling Language (SysML) is the de facto standard in the industry for modeling complex systems. SysML v2 is the new version of the language with reworked fundamentals. In this paper, we explore how the new formal semantics of SysML v2 can enable formal verification and various forms of automated reasoning. Formal verification involves mathematically proving the correctness of a system’s design with respect to certain specif ...

Product Lines of Graphical Modelling Languages Capone-CS开源代码 Abstraction Modelling languages are essential in many disciplines to express knowledge in a precise way. Furthermore, some domains require families of notations (rather than individual languages) that account for variations of a language. Some examples of language families include those to define automata, Petri nets, process models or software architectures. Several techniques have been proposed to engineer families of languages, but ...

MODELS2022:Modular Language Product Lines:A Graph Transformation Approach SoSyM2024:Modular language product lines: concept, tool and analysis Capone开源代码 Abstraction Modelling languages are intensively used in paradigms like modeldriven engineering to automate all tasks of the development process.These languages may have variants, in which case the need arises to deal with language families rather than with individual languages.However, specifying the syntax and semantics of each language varia ...

MODELS2022: Picto web: a tool for complex model exploration CPS2024: Exploring complex models with picto web Picto Web开源代码 Abstraction Picto Web is a multi-tenant web-based tool for complex model exploration. It can transform different types of models into a variety of transient web-based views in formats such as HTML, Graphviz and PlantUML using rule-based model-to-text transformations. Picto Web implements a lazy view computation approach to support large models and complex transformations ef ...

Towards Runtime Monitoring for Responsible Machine Learning using Model-driven Engineering Abstraction Machine learning (ML) components are used heavily in many current software systems, but developing them responsibly in practice remains challenging. ‘Responsible ML’ refers to developing, deploying and maintaining ML-based systems that adhere to humancentric requirements, such as fairness, privacy, transparency, safety, accessibility, and human values. Meeting these requirements is essential f ...

Automation in Model-Driven Engineering: A look back, and ahead Abstraction Model-Driven Engineering (MDE) provides a huge body of knowledge of automation for many different engineering tasks, especially those involving transitioning from design to implementation. With the huge progress made in Artificial Intelligence (AI), questions arise about the future of MDE, such as how existing MDE techniques and technologies can be improved or how other activities that currently lack dedicated support ca ...

Model-Based Development of Engine Control Systems:Experiences and Lessons Learnt Abstraction Rolls-Royce Control Systems supplies engine control and monitoring systems for aviation applications, and is required to design, certify, and deliver these to the highest level of safety assurance. To allow Rolls-Royce to develop safe and robust systems, which continue to increase in complexity, model-based techniques are now a critical part of the software development process. In this paper, we discuss ...

Model-Based Development of Engine Control Systems:Experiences and Lessons Learnt2021 MODELS Best Paper Award, Practice & Innovation TrackAbstraction Rolls-Royce Control Systems supplies engine control and monitoring systems for aviation applications, and is required to design, certify, and deliver these to the highest level of safety assurance. To allow Rolls-Royce to develop safe and robust systems, which continue to increase in complexity, model-based techniques are now a critical part of ...

引言美国汽车工业行动集团（AIAG）和德国汽车工业联合会（VDA）的整车厂（OEM）和一级子供应商成员合作的成果。本手册替代了美国汽车工业行动集团FMEA第四版和VDA Volume 4 “Product and Process FMEA”。 目的和说明FMEA作为一套面向团队的系统的、定性分析方法，其目的是： 评估产品/过程中失效的潜在技术风险(evaluate the potential technical risks of failure of a product or process) 分析失效的起因和影响(analyze the causes and effects of those failures) 记录预防和探测措施(document preventive and detection actions) 针对降低风险的措施提出建议(recommend actions to reduce risk) 本手册只考虑技术风险，不涉及财务、实践、战略风险。 FMEA的目标和限制 The objective of FMEA is to identify the function ...