Filters








10 Hits in 4.8 sec

Randomized directed testing (REDIRECT) for Simulink/Stateflow models

Manoranjan Satpathy, Anand Yeolekar, S. Ramesh
<span title="">2008</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2n36vommjbafnkaccvl2qvetye" style="color: black;">Proceedings of the 7th ACM international conference on Embedded software - EMSOFT &#39;08</a> </i> &nbsp;
The Simulink/Stateflow (SL/SF) environment from Mathworks is becoming the de facto standard in industry for model based development of embedded control systems.  ...  and feedback-directed random testing.  ...  STB (Safety Test Builder) from TNI Software [21] is another successful testing tool for Simulink/Stateflow models. Test inputs are primarily random with some heuristics.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1450058.1450088">doi:10.1145/1450058.1450088</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/emsoft/SatpathyYR08.html">dblp:conf/emsoft/SatpathyYR08</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/fkfmm7v2hndwtbpqbfbe7hzrvi">fatcat:fkfmm7v2hndwtbpqbfbe7hzrvi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20100621113934/http://www.cecs.uci.edu/~papers/esweek08/emsoft/p217.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/b9/a2/b9a257660bf3dbd2f8f7b86218e6cfc509b9d47c.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1450058.1450088"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Cross-layer analysis, testing and verification of automotive control software

Manfred Broy, Samarjit Chakraborty, Dip Goswami, S. Ramesh, M. Satpathy, Stefan Resmerita, Wolfgang Pree
<span title="">2011</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2n36vommjbafnkaccvl2qvetye" style="color: black;">Proceedings of the ninth ACM international conference on Embedded software - EMSOFT &#39;11</a> </i> &nbsp;
-are specified as Simulink/Stateflow models, from which code is generated and mapped onto the different ECUs.  ...  Code generation/optimization from the Simulink/Stateflow models, task partitioning and mapping decisions, as well as the parameters chosen for the schedulers -all of these impact the execution times and  ...  in Simulink/Stateflow.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2038642.2038683">doi:10.1145/2038642.2038683</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/emsoft/BroyCGRSRP11.html">dblp:conf/emsoft/BroyCGRSRP11</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/wixbqk74mrdhpl4e42n4hatqha">fatcat:wixbqk74mrdhpl4e42n4hatqha</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809112115/http://www.es.ele.tue.nl/~dgoswami/EMSOFT.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/e9/4b/e94b10c790818402625ae79d1563ee1f829e916c.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2038642.2038683"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Formal Analysis of Non-functional Properties for a Cooperative Automotive System [article]

Eun-Young Kang, Li Huang, Dongrui Mu
<span title="2018-03-19">2018</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
We have previously modified EAST-ADL to include energy constraints and transformed energy-aware timed (ET) behaviors modeled in SIMULINK/STATEFLOW into UPPAAL models amenable to formal verification.  ...  Previous work is extended in this paper by including support for SIMULINK DESIGN VERIFIER (SDV), i.e., the ET constraints are translated into proof objective models that can be verified using SDV.  ...  Figure 4 . 8 : 48 SIMULINK & STATEFLOW model of VehicleDynamic Figure 4 . 9 : 49 SIMULINK & STATEFLOW model of ComDevice Fig. 4 . 4 10(b) shows an EventChain of n f p s, we model each f p based on  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1803.06075v2">arXiv:1803.06075v2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/d765c3fwpnh43bakbxg2kjj3ia">fatcat:d765c3fwpnh43bakbxg2kjj3ia</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200929124621/https://arxiv.org/pdf/1803.06075v2.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/7e/79/7e7920537f6fd312b61c3ac8a9b8f00f0b26d774.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1803.06075v2" 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>

A Roadmap Toward the Resilient Internet of Things for Cyber-Physical Systems

Denise Ratasich, Faiq Khalid, Florian Geissler, Radu Grosu, Muhammad Shafique, Ezio Bartocci
<span title="">2019</span> <i title="Institute of Electrical and Electronics Engineers (IEEE)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/q7qi7j4ckfac7ehf3mjbso4hne" style="color: black;">IEEE Access</a> </i> &nbsp;
It further summarizes our solutions, work-in-progress and future work to this topic to enable "Trustworthy IoT for CPS".  ...  Furthermore, this paper presents the main challenges in building a resilient IoT for CPS which is crucial in the era of smart CPS with enhanced connectivity (an excellent example of such a system is connected  ...  A popular technique to find bugs in Simulink/Stateflow models is falsification-based testing [125] , [126] , [202] .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/access.2019.2891969">doi:10.1109/access.2019.2891969</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/hb77c2cenfhlpbtpnjql5umh6a">fatcat:hb77c2cenfhlpbtpnjql5umh6a</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210428230103/https://ieeexplore.ieee.org/ielx7/6287639/8600701/08606923.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/7c/ac7c991474e77584d4fb3d5c47c151a90ad9155b.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/access.2019.2891969"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> ieee.com </button> </a>

Evolvable Smartphone-Based Point-Of-Care Systems For In-Vitro Diagnostics

François Patou
<span title="2016-10-14">2016</span> <i title="Zenodo"> Zenodo </i> &nbsp;
Model-based development was und [...]  ...  Although the technical feasibility and the potential of Lab-on-Chip/smart-device systems is repeatedly demonstrated, direct-to-consumer applications remain scarce.  ...  Given the possibility of a large number of iterations and related computational load, we opted for replicating our state-machine model in MathWorks Simulink StateFlow and implemented our algorithm in Matlab  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5281/zenodo.204579">doi:10.5281/zenodo.204579</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/okesojvyjjghpntsmb676lvsh4">fatcat:okesojvyjjghpntsmb676lvsh4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20201227101603/https://zenodo.org/record/204579/files/PhD%20thesis%20-%20Francois%20Patou%20-%20DTU%20Format.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/0f/130f4f1e0b5e8dca4dc0920a63f634445bba23ed.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5281/zenodo.204579"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> zenodo.org </button> </a>

Model-based testing of real-time embedded systems in the automotive domain [article]

Justyna Zander-Nowicka, Technische Universität Berlin, Technische Universität Berlin, Ina Schieferdecker
<span title="2009-03-27">2009</span>
The test framework proposed herewith, is realized in the MATLAB®/Simulink®/Stateflow® environment and is called Model-in-the-Loop for Embedded System Test (MiLEST).  ...  A comparable approach is applicable to quality-assurance activities including testing. The concept of model-based testing is emerging in its application for embedded systems.  ...  Die hier vorgeschlagene Testframework wurde in einer MATLAB®/Simulink®/Stateflow®-Umgebung realisiert und trägt den Namen Model-inthe-Loop for Embedded System Test (MiLEST).  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.14279/depositonce-2126">doi:10.14279/depositonce-2126</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ujg7uwu47fecvhn5bxvx7vu3ve">fatcat:ujg7uwu47fecvhn5bxvx7vu3ve</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200221191304/https://depositonce.tu-berlin.de/bitstream/11303/2423/1/Dokument_46.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/ad/cf/adcff5174f06783c2af95f1779feedde459df8e9.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.14279/depositonce-2126"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Suchbasierter Strukturtest für Simulink Modelle [article]

Andreas Windisch, Technische Universität Berlin, Technische Universität Berlin, Stefan Jähnichen
<span title="2011-11-18">2011</span>
Existing approaches for automating structure-oriented testing of models are primarily based on symbolic execution and constraint solving or random search respectively.  ...  In this work a new approach for automating structure-oriented test data generation for complex models is developed.  ...  Existing approaches for automating structure-oriented testing of models are primarily based on symbolic execution and constraint solving or random search respectively.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.14279/depositonce-3023">doi:10.14279/depositonce-3023</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/eocyaaawbfbv5oz4bd2l7n2cgu">fatcat:eocyaaawbfbv5oz4bd2l7n2cgu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200222000457/https://depositonce.tu-berlin.de/bitstream/11303/3320/1/Dokument_40.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/60/dc/60dc5f25ed6320fb2e499797a94215aa904f2700.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.14279/depositonce-3023"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

TIMEA: Time-triggered message-based multicore architecture for AUTOSAR

Moisés Ignacio Urbina Fuentes, Universitätsbibliothek Siegen
<span title="2021-02-15">2021</span>
The so-called TIMEA (TIme-triggered MEssage-based multicore platform for AUTOSAR) defines a message-based NoC as the only physical medium for the communication between the cores and introduces autonomous  ...  efficiency in comparison to the common shared memory approaches implemented for the development of multicore systems.  ...  It also supports the AUTOSAR-compliant production code generation for the SWCs from the Simulink-Stateflow graphical environment [dSp14b] .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.25819/ubsi/7652">doi:10.25819/ubsi/7652</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/q43teowhizaalaegzyp52tloty">fatcat:q43teowhizaalaegzyp52tloty</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210430234558/https://dspace.ub.uni-siegen.de/bitstream/ubsi/1787/5/Dissertation_Moises_Ignacio_Urbina_Fuentes.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/be/3e/be3e4822baf2c4fe09282ba89afbc7dcd0894763.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.25819/ubsi/7652"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

An open approach to modular control systems for agile automations

George P. Dimitropoulos
<span title="2022-05-12">2022</span>
by implementing these models in the form of parametrisable control software which when used for production control promises to deliver higher adaptability than its prior art.  ...  This research quantified adaptability in automatic production control systems, contributed to science by proposing mathematical models that focus on maximising adaptability, and contributed to technology  ...  My gratitude goes to my parents for inspiring me with respect for education and for supporting my choices for expatriation in pursuit of degrees by research at a significant cost to their own well-being  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.26174/thesis.lboro.19754692.v1">doi:10.26174/thesis.lboro.19754692.v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/blhmmmecznblhmpgewnfsk4fsq">fatcat:blhmmmecznblhmpgewnfsk4fsq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20220524090154/https://s3-eu-west-1.amazonaws.com/pstorage-loughborough-53465/coversheet/35099668/1/GeorgeP.Dimitropoulos.pdf?X-Amz-Algorithm=AWS4-HMAC-SHA256&amp;X-Amz-Credential=AKIAJGXP3DOPNGAZIK6Q/20220524/eu-west-1/s3/aws4_request&amp;X-Amz-Date=20220524T090153Z&amp;X-Amz-Expires=10&amp;X-Amz-SignedHeaders=host&amp;X-Amz-Signature=b6cee3c540f28eddd58a953651b1d48d96a365b0479cdcfb61c3f3c1bdf7f16a" 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/09/c3/09c3aec4f1ca7e4047f4d1439498721887c1dc53.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.26174/thesis.lboro.19754692.v1"> <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>

(:unas) unassigned

(:Unkn) Unknown, Universitätsbibliothek Siegen
<span title="1900-01-01">1900</span>
Furthermore, the evaluation shows the advantages of the delay-management mechanisms for distributed real-time tests.  ...  Hence, there is no need to make all simulation models or physical prototypes centrally available. The evaluation using a distributed control application demonstrates the scalability of the framework.  ...  They implement a model of the vehicle dynamics in Matlab/Simulink/Stateflow and couple it with control algorithms or the production module.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.25819/ubsi/5952">doi:10.25819/ubsi/5952</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/h2bam757g5e5nd6q6nfqhyfaxa">fatcat:h2bam757g5e5nd6q6nfqhyfaxa</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20201210094313/https://dspace.ub.uni-siegen.de/bitstream/ubsi/1728/4/Dissertation_Tobias_Pieper.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/c0/78c006f7f6f9da57d7d9ca461afff7cf192f03fd.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.25819/ubsi/5952"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>