Filters








440 Hits in 3.8 sec

Assembling Components using SysML with Non-Functional Requirements

Samir Chouali, Ahmed Hammad, Hassan Mountassir
2013 Electronical Notes in Theoretical Computer Science  
The SysML language is an UML profile, that is a language for documenting and graphically specify all aspects of a system consisting of hardware and/or software blocks.  ...  In the second step, we propose a formal specification and verification approach to verify components composition based on the SysML models of the first step.  ...  Blocks Compatibility Verification The verification of the compatibility between a blocks (component C 1 ) and a other block (component C 2 ) is obtained by verifying the compatibility between their interface  ... 
doi:10.1016/j.entcs.2013.04.003 fatcat:dyd7tw2mzvg4ppoll5cjxdm4ze

Combining a SysML-based Modeling Approach and Semantic Technologies for Analyzing Change Influences in Manufacturing Plant Models

Stefan Feldmann, Konstantin Kernschmidt, Birgit Vogel-Heuser
2014 Procedia CIRP  
A SysML-based modeling approach is combined with the formal representation of the model in an OWL ontology to conduct the required compatibility check.  ...  formal representation intended to ensure system elements' compatibility on the other hand.  ...  Acknowledgements We thank the German Research Foundation (Deutsche Forschungsgemeinschaft -DFG) for funding parts of this work as part of the collaborative research centre 'Sonderforschungsbereich 768  ... 
doi:10.1016/j.procir.2014.01.140 fatcat:zuj5wsczqvgxxnmo7wncfqpqei

SysML model-driven approach to verify blocks compatibility

Hassan Mountassir, Ahmed Hammad, Hamida Bouaziz, Samir Chouali
2019 International Journal of Computer Aided Engineering and Technology  
In our approach, we focus on verifying compatibility of components modelled with SysML diagrams. Thus, we model component interactions with sequence diagrams (SDs) and components with SysML blocks.  ...  Thus, to apply a verification method, it is necessary to translate the SDs into formal models, and then verify the wanted properties.  ...  The composition of interface automata allows us to verify some relations and properties on blocks such as the consistency and the compatibility (i.e. verify the existence of an environment where it is  ... 
doi:10.1504/ijcaet.2019.10018253 fatcat:gyg3eegfajhfbjffc6giy7unra

Early Analysis of Ambient Systems SYSML Properties using OMEGA2-IFx
english

Manzoor Ahmad, Iulia Dragomir, Jean-Michel Bruel, Iulian Ober, Nicolas Belloir
2013 Proceedings of the 3rd International Conference on Simulation and Modeling Methodologies, Technologies and Applications  
Formal methods provide tools to verify the consistency and correctness of a specification with respect to the desired properties of the system.  ...  In terms of tools, we used Rational Rhapsody in combination with the OMEGA2 profile which is an executable Uml/SysML profile used for the formal specification and validation of critical real-time systems  ...  The OMEGA2 UML/SysML Profile OMEGA2 is an executable Uml/SysML profile dedicated to the formal specification and validation of critical real-time systems.  ... 
doi:10.5220/0004483101470154 dblp:conf/simultech/AhmadDBOB13 fatcat:lnczp5ackvfsnhdwnvlkwofuue

An ontology for State Analysis: Formalizing the mapping to SysML

David A. Wagner, M. B. Bennett, R. Karban, N. Rouquette, S. Jenkins, M. Ingham
2012 2012 IEEE Aerospace Conference  
This paper will discuss the method used to develop these formalisms (the ontology), the formalisms themselves, the mapping to SysML and approach to using these formalisms to specify a control system and  ...  a mapping of State Analysis into a practical extension of SysML.  ...  This research was carried out at the Jet Propulsion Laboratory, California Institute of Technology, under a contract with the National Aeronautics and Space Administration and at the European Southern  ... 
doi:10.1109/aero.2012.6187335 fatcat:i3inbklinzedrm55lvrgr4m5fq

A Case Study in Formal System Engineering with SysML

Iulia Dragomir, Iulian Ober, David Lesens
2012 2012 IEEE 17th International Conference on Engineering of Complex Computer Systems  
As part of this effort, we have defined a formal profile for SysML (OMEGA SysML) and we have built a simulation and verification toolbox for this profile (IFx).  ...  In response, organizations that develop such systems are searching for solutions allowing formal system engineering and system to software bridging, based on standard languages like SysML.  ...  Thus each block can be defined as active or passive, and each active block defines an activity group consisting of itself and its dependent passive blocks.  ... 
doi:10.1109/iceccs20050.2012.6299214 fatcat:s3juunljqfd6ljqm654vhoyrrm

Automating Model Transformations for Railway Systems Engineering

Nils Weidmann, Shubhangi Salunkhe, Anthony Anjorin, Enes Yigitbas, Gregor Engels
2021 Journal of Object Technology  
by employing SysML, a widespread systems modelling language, and Event-B, a formal systems modelling language particularly suited for automated system verification.  ...  At DB Netz AG, a railway infrastructure manager that operates large parts of the German railway system, the challenge of enabling both high-level system modelling and formal system verification is addressed  ...  Acknowledgments This work was partially supported by the North Rhine Westphalian Ministry of Economic Affairs, Innovation, Digitalisation and Energy (MWIDE) through the Pro-LowCode project (005-2011-0022  ... 
doi:10.5381/jot.2021.20.3.a10 fatcat:4r3niallsbcyjlsdk2fcrz3o5y

Daugiaplatformės programinės ir sisteminės įrangos kūrimo priemonės koncepcija

Mindaugas Vidmantas, Egidijus Kazanavičius
2009 Informacijos mokslai  
A semi-formal Unifi ed Modeling Language (UML) and its extension Systems Modeling Language (SysML) can bring software developers to a more formal model description, especially for real-time applications  ...  , enhancing possibilities to model the dynamics of the software model and decomposition of the physical architecture.  ...  Finally, PSM is generated to a compatible language (Java, C++ or other) source code. For PIM modeling we used SysML and UML.  ... 
doi:10.15388/im.2009.0.3239 fatcat:ef43mivjwfhebeeknuwd434qeq

Towards a Model Integration from SysML to MATLAB/Simulink

Bassim Chabibi, IT architecture and Model driven Systems development (IMS), Labo. ADMIR, Rabat IT Center, ENSIAS, Rabat Mohamed V University in RABAT,Morocco., Adil Anwar, Mahmoud Nassar
2018 Journal of Software  
The latter can be defined as a formalized modeling application for describing requirements, design, analysis, optimization, verification and validation of a system [8] .  ...  It is a general methodological approach that encompasses all the activities necessary to design, evolve and verify a system providing an economical and efficient solution to the needs of a client while  ...  This generated file consists on a text that can be a programming language or other formalism.  ... 
doi:10.17706/jsw.13.12.630-645 fatcat:e2gykd7urzd3niaplozur2453a

Mapping SysML to modelica to validate wireless sensor networks non-functional requirements

Samir Berrani, Ahmed Hammad, Hassan Mountassir
2013 2013 11th International Symposium on Programming and Systems (ISPS)  
Besides, we have verified and validated some wireless sensors properties of the studied system.  ...  Moreover, most of approaches use semi-formal methods to design systems and generally simulation to validate their properties in order to produce models without errors and conform to the system specifications  ...  The simple sensor node block consists of a memory unit, a processing unit, a transmitter unit, a receiver unit and a battery.  ... 
doi:10.1109/isps.2013.6581484 fatcat:a4maqhi72ffudjh2kvsdwpp7vm

Modelling System of Systems Interface Contract Behaviour

Oldrich Faldik, Richard Payne, John Fitzgerald, Barbora Buhnova
2017 Electronic Proceedings in Theoretical Computer Science  
However, the Contract pattern faces some limitations in terms of its accessibility and suitability for verifying contract compatibility.  ...  To address these deficiencies, we propose the enrichment of the Contract pattern, which hitherto has been defined using SysML and the COMPASS Modelling Language (CML), by utilising SysML and Object Constraint  ...  Acknowledgments This work is supported by the INTO-CPS project funded by the European Commissions Horizon 2020 (grant agreement 644047, http://into-cps.au.dk) and by the CPSE Labs funded by the European  ... 
doi:10.4204/eptcs.245.1 fatcat:tufd7t5ktvhk7o3ylvjen2ihom

Challenges in Combining SysML and MARTE for Model-Based Design of Embedded Systems [chapter]

Huascar Espinoza, Daniela Cancila, Bran Selic, Sébastien Gérard
2009 Lecture Notes in Computer Science  
In this paper, we assess possible strategies for combining the SysML and MARTE profiles in a common modelling framework, while avoiding specification conflicts.  ...  and evolution.  ...  The work presented here is partially carried out within the Sys-tem@tic competitiveness cluster projects Lambda and IMOFIS.  ... 
doi:10.1007/978-3-642-02674-4_8 fatcat:no2rhodqtjb7rakujw4glsjkf4

Model-Based System Verification: A Formal Framework for Relating Analyses, Requirements, and Tests [chapter]

Aleksandr A. Kerzhner, Christiaan J. J. Paredis
2011 Lecture Notes in Computer Science  
Formal models are used to express the structure of design alternatives, the system requirements, and experiments to verify the requirements as well as the relationships between the models.  ...  Specifically, a method is presented for verifying design alternatives with respect to design requirements through automated generation of analyses from formal models of the systems engineering problem.  ...  To formally model tests within SysML, some additional constructs are needed to formally define a quantitatively-verifiable requirement (or testable requirement), a test, and the relationship.  ... 
doi:10.1007/978-3-642-21210-9_27 fatcat:y6ixz5ub3rdpvm7i6gyttjfcd4

Towards an Architectural Design Framework for Automotive Systems Development [chapter]

Hugo G. Chalé Góngora, Thierry Gaudré, Sara Tucci-Piergiovanni
2013 Complex Systems Design & Management  
This paper discusses the concepts of Model-Based Systems Engineering (MBSE) and of Architecture Frameworks (AF) and presents some preliminary results of current initiatives at Renault on these subjects  ...  This results in the definition of an architectural design framework for the automotive systems development currently implemented in a SysML specialization.  ...  MBSE, on the other hand, aims at producing a consistent system model that contains all the information that is required to completely describe, verify and validate the system.  ... 
doi:10.1007/978-3-642-34404-6_16 dblp:conf/csdm/GongoraGP12 fatcat:hfemiezdonaenmh7o33y2hsx3e

Combining SysML and Model Transformations to Support Systems Engineering Analysis

Aleksandr Kerzhner, Christiaan Paredis
2011 Electronic Communications of the EASST  
Formal models are used to express the structure of design alternatives, the system requirements, and experiments to verify the requirements as well as the relationships between the models.  ...  Specifically, a method is presented for verifying design alternatives with respect to design requirements through automated generation of analyses from formal models of the systems engineering problem.  ...  To formally model tests within SysML, some additional constructs are needed to formally define a quantitatively-verifiable requirement (or testable requirement), a test, and the relationship.  ... 
doi:10.14279/tuj.eceasst.42.613 dblp:journals/eceasst/KerzhnerP11 fatcat:2tg7gexmnbhvle4sxwu2act3pe
« Previous Showing results 1 — 15 out of 440 results