Filters








2,080 Hits in 6.7 sec

Model-Based Hardware Generation and Programming - The MADES Approach

Ian Gray, Nikos Matragkas, Neil C. Audsley, Leandro Soares Indrusiak, Dimitris Kolovos, Richard Paige
<span title="">2011</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/icax7kbgefdxhgco4lvborrsqe" style="color: black;">2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops</a> </i> &nbsp;
MADES aims to develop a model-driven development process for safety-critical, real-time embedded systems.  ...  Second, the Zot verification tool is employed to allow early and frequent verification of the system being developed.  ...  The top-level MADES modelling language ('design models' in figure 1) is based on a combined subset of OMG MARTE [10] (a UML profile for modelling realtime embedded systems) and SysML [15] (a generalpurpose  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/isorcw.2011.20">doi:10.1109/isorcw.2011.20</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/isorc/GrayMAIKP11.html">dblp:conf/isorc/GrayMAIKP11</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/z6647xy7abddxafkxcldlpoi54">fatcat:z6647xy7abddxafkxcldlpoi54</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200320190557/http://api.ning.com/files/WJLIjhNPIyn6k0bgyGgXmws3RZjmPz0wM0mH8VBIQe9XDzOdbMlqNDZF9OOhjzLLAJKSbhN-GR-K96b7DAg*s*bBkbZLTNyp/main.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/a0/f4/a0f4d33dcd4d63bb78750a4787c189c82e607c76.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/isorcw.2011.20"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Development of an automated MBT toolchain from UML/SysML models

Jonathan Lasalle, Fabien Peureux, Frédéric Fondement
<span title="2011-10-02">2011</span> <i title="Springer Nature"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/m7bjtth7yrhkzjnmhmza375ykq" style="color: black;">Innovations in Systems and Software Engineering</a> </i> &nbsp;
This developed prototype made it possible to demonstrate that Model-Based Testing from UML/SysML models is an efficient way to automate testing process for systems mixing software and hardware parts.  ...  This paper reports about the VETESS project results and experience with building a Model-Based Testing toolchain to validate automotive embedded systems.  ...  for embedded system validation.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s11334-011-0164-1">doi:10.1007/s11334-011-0164-1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/emrxs7w3qbbhxh4tctqjm7ihki">fatcat:emrxs7w3qbbhxh4tctqjm7ihki</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200320095540/http://fondement.free.fr/lgl/docs/papers/umlfm11.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/a8/d9/a8d9efe55dd4a2ad3bc58e78fe69ff740fcb2411.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s11334-011-0164-1"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

An aspect-oriented, model-driven approach to functional hardware verification

Eamonn Linehan, Siobhán Clarke
<span title="">2012</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/abrqcwwp5bajjj4an3guihtf7u" style="color: black;">Journal of systems architecture</a> </i> &nbsp;
This paper presents an aspect-oriented domainspecific modelling language for the e hardware verification language that can be used as part of a model-based software engineering process.  ...  Performing functional verification of a hardware design requires software-based simulators and verification testbenches.  ...  The INTERESTED project is creating a tool-chain for rapid design and prototyping of embedded systems.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.sysarc.2011.02.001">doi:10.1016/j.sysarc.2011.02.001</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/xmuzsptqkvad7j6bjsco4vqht4">fatcat:xmuzsptqkvad7j6bjsco4vqht4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809134128/https://ulir.ul.ie/bitstream/handle/10344/2142/2011%20Linehan%20&amp;%20Clarke.pdf?sequence=2" 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/bb/0d/bb0d0718c0a72667fc773f17dd5fe99b3669a069.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.sysarc.2011.02.001"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Integrating model checking and UML based model-driven development for embedded systems

Zamira Daw, Rance Cleaveland, Marcus Vetter
<span title="2014-01-13">2014</span> <i title="European Association of Software Science and Technology"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/ds6dyxrqzrddpmxtwf2p5ljfn4" style="color: black;">Electronic Communications of the EASST</a> </i> &nbsp;
This paper discusses issues associated with integrating model checkers into a model-based development environment for embedded systems.  ...  The verification of system requirements is shown using a case study of an infusion pump.  ...  Acknowledgments The research for this paper was undertaken during a stay as visiting researcher in the Fraunhofer USA Center for Experimental Software Engineering.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.14279/tuj.eceasst.66.888">doi:10.14279/tuj.eceasst.66.888</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/journals/eceasst/DawCV13.html">dblp:journals/eceasst/DawCV13</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/tqmvnyqmt5g2jcrl7p4qw3dol4">fatcat:tqmvnyqmt5g2jcrl7p4qw3dol4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170706091804/https://journal.ub.tu-berlin.de/eceasst/article/download/888/874/" 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/d8/94/d894e6541c0e18b10860fddfab88ec1dcef12f99.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.14279/tuj.eceasst.66.888"> <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>

Model-Based GUI Testing Using Uppaal at Novo Nordisk [chapter]

Ulrik H. Hjort, Jacob Illum, Kim G. Larsen, Michael A. Petersen, Arne Skou
<span title="">2009</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;
This paper details a collaboration between Aalborg University and NOVO Nordisk in developing an automatic model-based test generation tool for system testing of the graphical user interface of a medical  ...  The tool takes as input an UML Statemachine model and generates a test suite satisfying some testing criterion, such as edge or state coverage, and converts the individual test case into a scripting language  ...  The Uppaal model checker Uppaal is a tool for design, simulation and model checking (formal verification) of real-time systems modeled as networks of timed automata extended with discrete datatypes and  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-05089-3_53">doi:10.1007/978-3-642-05089-3_53</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/zp76zidftnfmbdvperk3r243j4">fatcat:zp76zidftnfmbdvperk3r243j4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20130815071052/http://bestpractice-consulting.com/articles/ModelBasedGUITesting.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/d9/46/d946124ff970df3d43108cd007489fb8dbf21931.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-05089-3_53"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

AADL and model-based engineering

Peter H. Feiler
<span title="">2014</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/dq2nkmeoqjc5bmcalsv7wxzfgq" style="color: black;">Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology - HILT &#39;14</a> </i> &nbsp;
Respondents should be aware that notwithstanding any other provision of law, no person shall be subject to a penalty for failing to comply with a collection of information if it does not display a currently  ...  Send comments regarding this burden estimate or any other aspect of this collection of information, including suggestions for reducing this burden, to Washington Headquarters Services, Directorate for  ...  requirement documents span multiple levels of a system architecture We have made architecture design decisions.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2663171.2663174">doi:10.1145/2663171.2663174</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/sigada/Feiler14.html">dblp:conf/sigada/Feiler14</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/mddvd4nlurh65o6zopy5jrziay">fatcat:mddvd4nlurh65o6zopy5jrziay</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170304200937/http://www.dtic.mil/dtic/tr/fulltext/u2/a613948.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/b4/0a/b40a2ec56fe1c58011fa887e167a2025c01f8573.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2663171.2663174"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Artifact-Based Analysis for the Development of Collaborative Embedded Systems [chapter]

Steffen Hillemacher, Nicolas Jäckel, Christopher Kugler, Philipp Orth, David Schmalzing, Louis Wachtmeister
<span title="2020-12-15">2020</span> <i title="Springer International Publishing"> Model-Based Engineering of Collaborative Embedded Systems </i> &nbsp;
Artifact modeling tackles these challenges by making the artifacts and relationships explicit and providing a means of automated analysis.  ...  We present a methodology for artifact-based analysis that enables analysis of heterogeneous tool environments for architectural properties, inconsistencies, and optimizations.  ...  The use of models and MDD tools enables at least a partial automation of the development process.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-030-62136-0_17">doi:10.1007/978-3-030-62136-0_17</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/lfxd76ywknhabbshldy4hlizxq">fatcat:lfxd76ywknhabbshldy4hlizxq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210429113122/https://link.springer.com/content/pdf/10.1007%2F978-3-030-62136-0_17.pdf?error=cookies_not_supported&amp;code=3bc55435-0c5f-4636-ade5-e5893a7b4bf0" 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/6d/16/6d16520f8571785737e4cbf536d48727f851c26b.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-030-62136-0_17"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> springer.com </button> </a>

Design validation of embedded dependable systems

A. Bondavalli, A. Fantechi, D. Latella, L. Simoncini
<span title="">2001</span> <i title="Institute of Electrical and Electronics Engineers (IEEE)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/gvjkwgwwvnakpbfssxpqjozbqm" style="color: black;">IEEE Micro</a> </i> &nbsp;
A common characteristic of such embedded systems is their increasing complexity in intrinsic terms-distribution management, redundancy, functionality layering, and so on-and of their in-the-field operation-environmental  ...  . • The evolution and verification of product and process designs. The quality of a product design depends on the quality of the process that produces it.  ...  Formal verification Formal verification is a hot topic especially for the development of dependable embedded systems.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/40.958699">doi:10.1109/40.958699</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/wghik64werc27lhq3tyumg2xn4">fatcat:wghik64werc27lhq3tyumg2xn4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20060510170434/http://bonda.cnuce.cnr.it/Documentation/Papers/file-BFLS01-IEEEMICRO-136.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/63/37/6337e23e5229d132a05ae81f0e37e66ce9a58ff8.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/40.958699"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

A Survey on Formal Verification Approaches for Dependable Systems [article]

Fayhaa Hameedi Khlaif, Shawkat Sabah Khairullah
<span title="2022-04-26">2022</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
As a result, any mistake or error made during the design stage of the embedded device can change the overall functionality of the critical system and cause catastrophic consequences.  ...  This paper focuses on presenting various studies on formal verification approaches and how the V&V can be achieved for developing high dependable digital embedded systems  ...  The right choice of model and modeling language is important for both designers and users of verification tools.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2204.12913v1">arXiv:2204.12913v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/y7jyq2gdjrgyxjtyibuknintfq">fatcat:y7jyq2gdjrgyxjtyibuknintfq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20220428054222/https://arxiv.org/ftp/arxiv/papers/2204/2204.12913.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/3d/28/3d28e5a7d38d874e8df4e64ef736ef14b760afa0.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2204.12913v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Reflections on the standardization of SysML 2

Jeff Gray, Bernhard Rumpe
<span title="2021-03-25">2021</span> <i title="Springer Science and Business Media LLC"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/dfdth37zyfetvchsdjk5e2osrq" style="color: black;">Journal of Software and Systems Modeling</a> </i> &nbsp;
We also discussed that traditional systems development has not yet reached the maturity of agile software development for a number of reasons, including the far too long, complex, and dependent tool chain  ...  Each model that captures a perspective of the project should either become a part of the product construction or should be used for automated validation and test quality management."  ...  We also discussed that traditional systems development has not yet reached the maturity of agile software development for a number of reasons, including the far too long, complex, and dependent tool chain  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s10270-021-00881-2">doi:10.1007/s10270-021-00881-2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/57so2zynqzb55hotnt3hhkrssy">fatcat:57so2zynqzb55hotnt3hhkrssy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210717141849/https://link.springer.com/content/pdf/10.1007/s10270-021-00881-2.pdf?error=cookies_not_supported&amp;code=52df5413-534f-43a2-9661-80eb45dacb22" 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/4c/4f/4c4fe8efc3d0b5f3b653d2463eb0f23bd18311b3.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s10270-021-00881-2"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> springer.com </button> </a>

SmartSAR: A Component-Based Hierarchy Software Platform for Automotive Electronics

Hong Li, Pan Lu, Min Yao, Nan Li
<span title="">2009</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/gkdds5vmbvfhdj6hneeduu2n3a" style="color: black;">2009 International Conference on Embedded Software and Systems</a> </i> &nbsp;
This paper proposes a component-based hierarchical software platform for automotive electronics -SmartSAR, which follows the AUTOSAR specification and provides a series of tools for model-driven development  ...  The case study with SmartAMT, a control system of automated mechanical transmission, has shown the advantage of SmartSAR platform in automotive electronic software design.  ...  The latter one is an IDE (integrated development environment), which consists of Model-Driven design and conversion tool chains, visual automated configuration tool chains and automatic generation tool  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/icess.2009.54">doi:10.1109/icess.2009.54</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/icess/LiLYL09.html">dblp:conf/icess/LiLYL09</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/2kbjnemggvhg5bde2rwldhmoqy">fatcat:2kbjnemggvhg5bde2rwldhmoqy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809040456/http://es.sdu.edu.cn/project/doc/papers/icess09-papers/07-3.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/00/62/0062447ae88bc87747eacaad8238d39f06d0cd33.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/icess.2009.54"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Model-driven architecture for embedded software: A synopsis and an example

Gabor Karsai, Sandeep Neema, David Sharp
<span title="">2008</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/hq6x4whtd5hhlhsxzculyeamey" style="color: black;">Science of Computer Programming</a> </i> &nbsp;
prototype modeling language and tool chain designed for developing mission computing software.  ...  We claim that MDA could be beneficial for embedded software development, especially if it is extended to address the special needs of embedded systems.  ...  The ESML tool chain ESML was designed to be a system-level modeling language for embedded systems.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.scico.2008.05.006">doi:10.1016/j.scico.2008.05.006</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/khsoru5mjranpmedhvfpbq2qbi">fatcat:khsoru5mjranpmedhvfpbq2qbi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190413102036/https://core.ac.uk/download/pdf/81141407.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/ff/acff43f10cac5b3b633e01e67485a6cf56f57562.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.scico.2008.05.006"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Controlling the Complexity of Hierarchical Scheduling Frameworks

Brandon Woolley, Susan Mengel
<span title="2021-08-31">2021</span> <i title="The Academy of Transdisciplinary Learning and Advanced Studies"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/aubcw3nrzbadtpefjn4z5cseya" style="color: black;">Transdisciplinary Journal of Engineering &amp; Science</a> </i> &nbsp;
The Unified Modeling Language (UML) Modeling and Analysis of Real-Time and Embedded Systems (MARTE) Profile is the chosen unified modeling language of MBSE.  ...  The approach in this paper seeks to limit tool use by combining an inline verification method (Genetic Algorithm) with a new MBSE workflow.  ...  MARTE is used to provide a timing analysis of a railway automation system that can be handled in UML or SysML.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.22545/2021/00160">doi:10.22545/2021/00160</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/tigjfmmxxngafeqzex3dzy3v5q">fatcat:tigjfmmxxngafeqzex3dzy3v5q</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210905220018/https://www.atlas-tjes.org/index.php/tjes/article/download/188/170" 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/17/44/17441f97f29329ca4c84eecb730732059f582546.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.22545/2021/00160"> <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>

Data flow analysis from UML/MARTE models based on binary traces

Hector Posadas, Javier Merino, Eugenio Villar
<span title="2020-11-18">2020</span> <i title="IEEE"> 2020 XXXV Conference on Design of Circuits and Integrated Systems (DCIS) </i> &nbsp;
The design of increasingly complex embedded systems requires powerful solutions from the very beginning of the design process.  ...  Traditional MBD methods and tools typically rely on fixed elements, which makes difficult the evaluation of different platform configurations, communication alternatives or models of computation.  ...  In both cases, the model is functional and no performance analysis is made depending on the underlying heterogeneous platform. Another alternative is to use UML language as a base for MBD [9] .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/dcis51330.2020.9268671">doi:10.1109/dcis51330.2020.9268671</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/lzsvajmorja6rm6rhmskci45gu">fatcat:lzsvajmorja6rm6rhmskci45gu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210717011448/https://repositorio.unican.es/xmlui/bitstream/handle/10902/20814/DataFlowAnalysisfromUML.pdf;jsessionid=B477F047B686C3CADD17698C3823050F?sequence=1" 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/b4/3f/b43fc797a2b0fb7a893ba36d4a45cb2ccf95a53a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/dcis51330.2020.9268671"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Review of Model-Based Testing Approaches in Production Automation and Adjacent Domains—Current Challenges and Research Gaps

Susanne Rösch, Sebastian Ulewicz, Julien Provost, Birgit Vogel-Heuser
<span title="">2015</span> <i title="Scientific Research Publishing, Inc,"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/siea63ugazhotdhlrexmuoemia" style="color: black;">Journal of Software Engineering and Applications</a> </i> &nbsp;
Model-based testing is a research field addressing this challenge and many approaches have been suggested for different applications.  ...  used within the development process of production automation systems, test case generation from fault models or test case selection and regression testing.  ...  systems and embedded systems.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4236/jsea.2015.89048">doi:10.4236/jsea.2015.89048</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/35hb3j25izcc7jq73xlyeihlwa">fatcat:35hb3j25izcc7jq73xlyeihlwa</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170923111713/http://file.scirp.org/pdf/JSEA_2015093013561562.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/9e/20/9e20ddca011904ec0b15886b11f0ff5ff484732a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4236/jsea.2015.89048"> <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>
&laquo; Previous Showing results 1 &mdash; 15 out of 2,080 results