Filters








359 Hits in 4.0 sec

A probabilistic and timed verification approach of SysML state machine diagram

Abdelhakim Baouya, Djamal Bennouar, Otmane Ait Mohamed, Samir Ouchani
<span title="">2015</span> <i title="IEEE"> 2015 12th International Symposium on Programming and Systems (ISPS) </i> &nbsp;
In this paper, we propose a probabilistic and timed verification framework of State Machine diagrams extended with time and probability features.  ...  Timed-constrained and probabilistic verification approaches gain a great importance in system behavior validation.  ...  For this purpose, the authors propose a meta-model for activity diagram and graph grammars that performs automatically the transformation of activity diagram.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/isps.2015.7245001">doi:10.1109/isps.2015.7245001</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/4hg722umonhmlibpmxmj2aaonm">fatcat:4hg722umonhmlibpmxmj2aaonm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20160924190852/http://orbilu.uni.lu/bitstream/10993/24851/1/ISPS2015_submission_24.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/4a/bb/4abbc92cd7828fdcc5df2f34aca97dc3d7a57d88.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/isps.2015.7245001"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

A quantitative verification framework of SysML activity diagrams under time constraints

Abdelhakim Baouya, Djamal Bennouar, Otmane Ait Mohamed, Samir Ouchani
<span title="">2015</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/ekjwtd7zwfeipf5aknu4733lzy" style="color: black;">Expert systems with applications</a> </i> &nbsp;
To prove the soundness of our mapping approach, we capture the underlying semantics of both the SysML activity diagrams and their generated PRISM code.  ...  Time-constrained and probabilistic verification approaches gain a great importance in system behavior validation including avionic, transport risk assessment, automotive systems and industrial process  ...  Our works has for objective to support: data workflow, time constraints, and formalize the SysML activity diagram. In addition, we implement the tool that allows the automatic verification.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.eswa.2015.05.049">doi:10.1016/j.eswa.2015.05.049</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/vfj6qdqtyrb4bjl6k4nu7ogk5q">fatcat:vfj6qdqtyrb4bjl6k4nu7ogk5q</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20160919181021/http://orbilu.uni.lu/bitstream/10993/24849/1/1.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/b5/8c/b58c11b60d6b844013d746b5dbb4780da3b15723.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.eswa.2015.05.049"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

A MDE-Based Approach to the Safety Verification of Extended SysML Activity Diagram

Chuanlin Huang, Zhiqiu Huang, Jun Hu, Zhipeng Wu, Siqi Wang
<span title="">2015</span> <i title="International Academy Publishing (IAP)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/jr7366lnajgfrhmmgwgrpt3o7u" style="color: black;">Journal of Software</a> </i> &nbsp;
This paper proposes a SysML/MARTE activity diagram (SMAD), which is extended from SysML activity diagram (SAD) with non-functional MARTE semantics, for the describing of the real-time embedded systems  ...  Safety verification of real-time embedded systems is a complex and hot issue.  ...  SysML extends the object node and class diagram symbol for activity, demonstrates an associated semantics combination among the activities and defines the consistency rules between activity and class diagram  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.17706/jsw.10.1.56-70">doi:10.17706/jsw.10.1.56-70</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/kniedgooifem5dr5wlvz2cbg2m">fatcat:kniedgooifem5dr5wlvz2cbg2m</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170828232010/http://www.jsoftware.us/vol10/06-jsw140301-1129.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/13/c4/13c4bf208e769a62c0de5fc579669011d2b7f525.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.17706/jsw.10.1.56-70"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

TEPE

Daniel Knorreck, Ludovic Apvrille, Pierre de Saqui-Sannes
<span title="2011-01-24">2011</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/jpdbg2rpfjembkahly4z4ea5hq" style="color: black;">Software engineering notes</a> </i> &nbsp;
Using UML or SysML models in a verification-centric method requires a property expression language, a formal semantics, and a tool.  ...  TEPE enriches the expressiveness of other common property languages in particular with the notion of physical time and unordered signal reception.  ...  AVATAR is a verification-centric profile that improves SysML's capability to express and verify properties of time-constrained systems.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1921532.1921556">doi:10.1145/1921532.1921556</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/d3ycdqiv65h6harwiiozdx2vgq">fatcat:d3ycdqiv65h6harwiiozdx2vgq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20130703003613/http://hal-ups-tlse.archives-ouvertes.fr/docs/00/66/78/41/PDF/p1-knorreck.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/78/9d/789dc053e062c877b27359629f4883b40286121c.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1921532.1921556"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Formal Software Verification at Model and at Source Code Levels [chapter]

Anthony Fernandes Pires, Thomas Polacsek, Stéphane Duprat
<span title="">2012</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
In the implementation phase, analysis techniques, like static analysis, make the verification tasks more exhaustive and more automatic.  ...  In a software development cycle, it is often more than half of the development time that is dedicated to verification activities. Formal methods offer new possibilities for verification.  ...  It is also possible to annotate models to perform analysis. The SysML profile AVATAR [10] is dedicated to the modeling and the formal verification of real-time embedded software.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-33609-6_16">doi:10.1007/978-3-642-33609-6_16</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/oulp3sjcqbef3afx3s4ld23zfu">fatcat:oulp3sjcqbef3afx3s4ld23zfu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20130410064325/http://hal.archives-ouvertes.fr/docs/00/79/70/91/PDF/medi_fernandes.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/ac/ac/acac6215996d4a652b9b0ee6f05a0fa12f56e1fa.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-33609-6_16"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

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
<span title="">2018</span> <i title="International Academy Publishing (IAP)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/jr7366lnajgfrhmmgwgrpt3o7u" style="color: black;">Journal of Software</a> </i> &nbsp;
The latter can be defined as a formalized modeling application for describing requirements, design, analysis, optimization, verification and validation of a system [8] .  ...  The advantages of such integration are the compliance between SysML models that represent the studied system and the generated Simulink models, and the fact that no time (and no effort) is needed to obtain  ...  As for Parametric diagram (PD), it is used to apply or specify systems of equations that constrain the properties of subsystems, blocks and parts.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.17706/jsw.13.12.630-645">doi:10.17706/jsw.13.12.630-645</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/e2gykd7urzd3niaplozur2453a">fatcat:e2gykd7urzd3niaplozur2453a</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190429053034/http://www.jsoftware.us/vol13/360-JSW15359.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/bd/47/bd47a936ac004f841c403bdeaa38b22cd95bb3db.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.17706/jsw.13.12.630-645"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

UML2.0 Profiles for Embedded Systems and Systems On a Chip (SOCs)

Fateh Boutekkouk, Mohammed Benmohammed, Sebastien Bilavarn, Michel Auguin
<span title="">2009</span> <i title="AITO - Association Internationale pour les Technologies Objets"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/pwjrjz7zwnb2rcboggur7p2mwq" style="color: black;">Journal of Object Technology</a> </i> &nbsp;
Intermediate steps of functional and timing verifications and simulations are carried out at different phases. Today 's methodologies fail to meet embedded systems requirements.  ...  As the resources are constrained, the design of embedded systems requires optimization.  ...  SysML does not use UML object diagram, communication diagram, interaction overview diagram, timing diagram, and deployment diagram.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5381/jot.2009.8.1.a1">doi:10.5381/jot.2009.8.1.a1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/coirvylxd5amzmiwtz6ymxi6l4">fatcat:coirvylxd5amzmiwtz6ymxi6l4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20151018005634/http://www.jot.fm/issues/issue_2009_01/article1.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/23/13/2313ee5d8ee24d1ee2573ea16c8407dd6c51c20e.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5381/jot.2009.8.1.a1"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

Improving the software development life cycle in process control using UML/SysML

Idilia Batchkova, Iskra Antonova
<span title="">2011</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/p3wtlm3j2fedxitkuu4bs3scau" style="color: black;">IFAC Proceedings Volumes</a> </i> &nbsp;
The proposed approach is based on the combined use of UML profile for system engineering SysML, IEC-61499 standard for development of distributed control systems and modified Harmony SE methodology.  ...  The main aim of the presented paper is to use the current advantages in the UML extensions and profiles in order to improve the software development life cycle in the field of process control.  ...  This profile supports two well-established forms of time-based model analysis: schedulability analysis based on schedulability theory and performance analysis based on queuing theory or Stochastic Petri  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3182/20110828-6-it-1002.03190">doi:10.3182/20110828-6-it-1002.03190</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/74aaep765zcudjxq7fbxlzwzli">fatcat:74aaep765zcudjxq7fbxlzwzli</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20160305141908/http://www.nt.ntnu.no:80/users/skoge/prost/proceedings/ifac11-proceedings/data/html/papers/3190" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/2a/05/2a0545432a5f629dbe6bb52482b0cbf8f1b6f48f.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3182/20110828-6-it-1002.03190"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Multi-domain simulation utilizing SysML: state of the art and future perspectives

Christian Nigischer, Sébastien Bougain, Rainer Riegler, Heinz Peter Stanek, Manfred Grafinger
<span title="">2021</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/pg7ahjk7dvd2tinhv7p6przfy4" style="color: black;">Procedia CIRP</a> </i> &nbsp;
especially for early design decision-making and verification activities.  ...  especially for early design decision-making and verification activities.  ...  Acknowledgements This work has been partially supported and funded by the Austrian Research Promotion Agency (FFG) via the "Austrian Competence Center for Digital Production" (CDP) under the contract number  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.procir.2021.05.073">doi:10.1016/j.procir.2021.05.073</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ucqlhhvd7zffbagupo2qh6thaa">fatcat:ucqlhhvd7zffbagupo2qh6thaa</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210611171203/https://pdf.sciencedirectassets.com/282173/1-s2.0-S2212827121X00078/1-s2.0-S2212827121005382/main.pdf?X-Amz-Security-Token=IQoJb3JpZ2luX2VjEAgaCXVzLWVhc3QtMSJIMEYCIQD%2BU2JXTiUBAHH7jpbDffOGnbD62kt9QwTkKcV%2FHg7newIhAOOpQDymclXkJPYJ2fyGjGU3Zf27g0e5q21osEf0LhBrKoMECMD%2F%2F%2F%2F%2F%2F%2F%2F%2F%2FwEQBBoMMDU5MDAzNTQ2ODY1Igw1G6oHkDtdpzjhVewq1wMmS7BNXNt0noxU%2FNy4SkpuciC56YhgQHS5rQRPYhA1MS%2FAVc2M%2Fx4tGCXJTdQTGu5nFZuX4Zg8g5wFTlz8oCPWMbOkOgN8suPVgdH1lL6yeRWUBlDgv1B8yEuEyrOGkchNCfzRnaN07jmtqlMT1Yjsg5z4refC19gMFFS8gdOzgC8sxhWKVGVSLjsIkW8KUot6dhRlGOXSO0yoCILc24UBmjA2uEp9ZY7I6WosnzE3Tvx9ySkBHIbAb2ZZYrhlpBpv4ETAHtQiitf820o42cMAut9l14MUuWbZtbjk8Oji3RBjXlUlUGKKVVBHcdEh4zqMkSXvW6y%2FUK%2FMPJ4ifqC4HE0L0sT4Jumtjv2DNMjTiV5zR18vzd9Gl%2B7z8sKDCZ%2BNeLpSpDAP3Ze7O9ZeTAKYQP6V0fNa%2F3Od45KsQuWfKUImL9Fdn0LzYocw3ZCNtKCZOcwXP6dEgLit%2B5mecmGLKIzQ65XsKVV9ls8mEe9ds%2BlWFM02acJ6AkOIiL2D8f0sezqT7Lgb%2BcleGYJBOKoO63LCUC19G0UU8EJOX%2BoGs748PEk6KElsHDADEWrX6driI%2BKnQ9T9gE2atacT%2FRbGVv81CVaYdmfmY48keSposumQQpQLABwwtP6NhgY6pAHAr%2BMHon6Mwsw9gIhI5InUa0e8rzRoYFK7nm1m%2FiqguPsrUYhMBCzObBdriwhxX%2Fo2vnYQ0QT2LjSrMi0rI5wzOfqzq9W3Vafa2u%2BzgqTPgAEJLjkCtgynBogZbVxQAvLX%2B2g6x9Z2i9tUj8pHIKBd3lddS6Y8HEZGbgqag44qE6OPGYM0ECI8xlw15mXqpP%2FUj73lOr2v24SWIgLyKdCls2Rs2Q%3D%3D&amp;X-Amz-Algorithm=AWS4-HMAC-SHA256&amp;X-Amz-Date=20210611T171157Z&amp;X-Amz-SignedHeaders=host&amp;X-Amz-Expires=300&amp;X-Amz-Credential=ASIAQ3PHCVTY7PLUHZB4%2F20210611%2Fus-east-1%2Fs3%2Faws4_request&amp;X-Amz-Signature=bd8110c7fd6ef38253f84cfe57700c1fbc54545ca878dad8591ec0a6629be614&amp;hash=d24feb8273065a29ced041080bc24b78cf3f0c7ce06254aa8de01ea667d0e541&amp;host=68042c943591013ac2b2430a89b270f6af2c76d8dfd086a07176afe7c76c2c61&amp;pii=S2212827121005382&amp;tid=spdf-88836720-212f-472c-8c2f-edf1c12e4dea&amp;sid=ec325fcc31a6544f048ac491d4f22afda536gxrqa&amp;type=client" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/fe/9f/fe9f4c2dd5575ed76643aebd4ce1dfa12bd256ec.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.procir.2021.05.073"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> elsevier.com </button> </a>

Model based systems engineering (MBSE) applied to Radio Aurora Explorer (RAX) CubeSat mission operational scenarios

S. C. Spangelo, J. Cutler, L. Anderson, E. Fosse, L. Cheng, R. Yntema, M. Bajaj, C. Delp, B. Cole, G. Soremekum, D. Kaslow
<span title="">2013</span> <i title="IEEE"> 2013 IEEE Aerospace Conference </i> &nbsp;
Small satellites are operationally challenging because subsystem functions are coupled and constrained by the limited available commodities (e.g. data, energy, and time).  ...  In particular, vehicle and network parameters and schedules can be verified prior to being implemented, during mission operations, and can also be updated in near real-time with operational performance  ...  We thank the Natural Sciences and Engineering Research Council of Canada (NSERC) and Zonta International for their support.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/aero.2013.6496894">doi:10.1109/aero.2013.6496894</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/r2bv5pmq7ffmha2shirkraw2m4">fatcat:r2bv5pmq7ffmha2shirkraw2m4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809014738/http://www.omgsysml.org/MBSE_Applied_to_RAX-IEEE_2013.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/dc/f9/dcf90376512f4c6326f411ed741b22b486f8b675.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/aero.2013.6496894"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Technical Evaluation of the Systems Modeling Language (SysML)

Kyle Hampson
<span title="">2015</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/cx3f4s3qmfe6bg4qvuy2cxezyu" style="color: black;">Procedia Computer Science</a> </i> &nbsp;
The intent of this paper is to provide a brief description and critique on each of the 4 pillars of SysML.  ...  The analysis and critique offered will follow the description for each pillar and is primarily from a functional perspective, covering the strengths, weaknesses and identified gaps in the language.  ...  In combination with a parametric diagram, it is possible to perform an analysis, and then use the system model to perform verification of its value properties post-analysis against the requirements.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.procs.2015.03.054">doi:10.1016/j.procs.2015.03.054</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/l6rah2gazffe7fnx5wfc2vv2oy">fatcat:l6rah2gazffe7fnx5wfc2vv2oy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20171002150536/http://publisher-connector.core.ac.uk/resourcesync/data/elsevier/pdf/b95/aHR0cDovL2FwaS5lbHNldmllci5jb20vY29udGVudC9hcnRpY2xlL3BpaS9zMTg3NzA1MDkxNTAwMjkwMg%3D%3D.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/1a/2f/1a2f435fba1f46dfb8de9c30508b1e047c9632a2.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.procs.2015.03.054"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> elsevier.com </button> </a>

A Methodology to Model Integrated Smart City System from the Information Perspective

Jules Muvuna, Tuleen Boutaleb, Keith J Baker, Slobodan B Mickovski
<span title="2019-11-06">2019</span> <i title="MDPI AG"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/iw7fu2hiprf3bjqx4aj6aicbiq" style="color: black;">Smart Cities</a> </i> &nbsp;
This study presents a methodology helped by a Model-Based Systems Engineering (MBSE) approach and Systems Modelling Language (SysML) to develop a model of an integrated SC system.  ...  Many studies have covered the design and modelling of an SC, but their focus has been mostly thematic and lack an integrated view of a smart city system.  ...  Conflicts of Interest: The authors declare no conflict of interest.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3390/smartcities2040030">doi:10.3390/smartcities2040030</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/kcytbm6j7bhdrpuqpoj6esf5yq">fatcat:kcytbm6j7bhdrpuqpoj6esf5yq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210716131140/https://researchonline.gcu.ac.uk/ws/files/32796770/smartcities_02_00030_1_.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/f0/14/f014013dfbeec6ef5c6f2ebd2a79f519eff4ca0c.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3390/smartcities2040030"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> mdpi.com </button> </a>

5.1.3 Testing Solutions through SysML / UML

Dave Richards, Andrew Stuart, Matthew Hause
<span title="">2009</span> <i title="Wiley"> INCOSE International Symposium </i> &nbsp;
This paper will seek to highlight how UML and in particular, improvements introduced by SysML can aid the testing process in terms of verification, validation and simulation of software, firmware and mechanical  ...  This paper will highlight how UML and SysML constructs can aid testing and is based on many years experience of building and testing systems as well as the experience gained by client companies during  ...  If we apply a probability to an activity edge and then perform an analysis, say, adding a budget stereotype to a physical item associated with the activity, and then perform an analysis of the output,  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1002/j.2334-5837.2009.tb00981.x">doi:10.1002/j.2334-5837.2009.tb00981.x</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ra73b2quojb73k4avvxh5flzk4">fatcat:ra73b2quojb73k4avvxh5flzk4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20130120101138/http://www.omgsysml.org/Testing_Solutions_through_UML-SysML-Hause_Stuart_Submission_INCOSE_20091.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/f0/1e/f01e50145b53dfb79169f0930c1b5f46b00cfeba.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1002/j.2334-5837.2009.tb00981.x"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> wiley.com </button> </a>

Systems Modeling Languages: OPM Versus SysML

Yariv Grobshtein, Valeriya Perelman, Eliyahu Safra, Dov Dori
<span title="">2007</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/fvih2mhqezcapn7b5o65dbhkry" style="color: black;">2007 International Conference on Systems Engineering and Modeling</a> </i> &nbsp;
To demonstrate the similarities and differences between the languages, a concrete sample system was modeled in both SysML and OPM and the issue was discussed in an experimental graduate students' webbased  ...  This work discusses two systems modeling languages, OMG's SysML -Systems Modeling Language and OPM -Object Process Methodology.  ...  By providing the ability to express constrains between properties, a Parametric Diagram enables integration of engineering analysis, such as performance and reliability models with SysML design models.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/icsem.2007.373339">doi:10.1109/icsem.2007.373339</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/icsem/GrobshteinPSD07.html">dblp:conf/icsem/GrobshteinPSD07</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/xo2dwt4s7vdrtim75og4ztnbfm">fatcat:xo2dwt4s7vdrtim75og4ztnbfm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170808051305/http://esml.iem.technion.ac.il/wp-content/uploads/2011/07/OPMvsSysML.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/cb/3f/cb3f859fc5dbaa3cec2f0b7cd0114b7e55314696.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/icsem.2007.373339"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

An Industrial System Engineering Process Integrating Model Driven Architecture and Model Based Design [chapter]

Andrea Sindico, Marco Di Natale, Alberto Sangiovanni-Vincentelli
<span title="">2012</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
We show the methods and tools that have been developed to allow interoperability among requirements management, SysML modeling and MBD simulation and code generation.  ...  We outline the main steps in the process and the evaluation of its use in the context of a radar application.  ...  To this end, we use SysML with the MARTE (Modeling and Analysis of Real Time Embedded Systems) profile [10]. The SysML functional model of the system is a network of subsystems.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-33666-9_51">doi:10.1007/978-3-642-33666-9_51</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ojxlrql4pbggplsqhnbdowwvza">fatcat:ojxlrql4pbggplsqhnbdowwvza</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809141244/http://retis.sssup.it/~marco/papers/2012/models.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/33/cc/33ccf9c688b84382b3a2193ac19d6c29e1311170.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-33666-9_51"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 359 results