A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Cross-layer analysis, testing and verification of automotive control software
2011
Proceedings of the ninth ACM international conference on Embedded software - EMSOFT '11
Preserved Fulltext
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 ...
-are specified as Simulink/Stateflow models, from which code is generated and mapped onto the different ECUs. ...
software satisfy the logical execution time specifications of the TDL model. ...
doi:10.1145/2038642.2038683
dblp:conf/emsoft/BroyCGRSRP11
fatcat:wixbqk74mrdhpl4e42n4hatqha
An Industrial System Engineering Process Integrating Model Driven Architecture and Model Based Design
[chapter]
2012
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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 present an industrial model-driven engineering process for the design and development of complex distributed embedded systems. ...
In this case our approach is to manage the legacy component as a black block and define modeling elements wrapping it. ...
doi:10.1007/978-3-642-33666-9_51
fatcat:ojxlrql4pbggplsqhnbdowwvza
Power Hardware in the Loop (PHIL) Simulation of Battery Packs
2019
ECS Meeting Abstracts
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
simulator to compute a model of a given system in real-time to send power signals from the model to a physical load connected to the simulator. ...
An equivalent circuit model and a physics-based model of batteries were developed in SIMULINK and tested for PHIL implementation using the OPAL-RT. ...
Figure 5. 2 2 SIMULINK model of the Single Particle Model To demonstrate the effects of the model when subjected to dynamic loads, the model was run in SIMULINK with the Federal Urban Drive Schedule profile ...
doi:10.1149/ma2019-01/22/1156
fatcat:427orxoy3jhyhnbh3ttjsdze3i
FMI-Based Multi-Domain Simulation for an Aero-Engine Control System
2021
Aerospace (Basel)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
To meet this challenge, a multi-domain co-simulation method based on the Functional Mock-up Interface (FMI) standard is proposed to integrate models developed by different software or tools. ...
For each discipline, the modeling and simulation are usually dependent on different commercial software and tools, which makes the simulation, integration, and verification of system-level models very ...
NS2020017); in part from the Central Military Commission Foundation to Strengthen Program Technology Fund (no. 2019-JCJQ-JJ-347); in part from Major Special Basic Research Projects for Aviation Engines ...
doi:10.3390/aerospace8070180
doaj:81a0b2104af846598ebe48d8133f502f
fatcat:iudns7nfibca5dbqhjzujus3te
Automotive networks
2007
Proceedings of the 5th IEEE/ACM international conference on Hardware/software codesign and system synthesis - CODES+ISSS '07
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Network Network is is subject subject to to diverging diverging requirements requirements communication periodic communication (control engineering) event triggered communication data rates from few kbit ...
/s to > 10Mbit/s (entertainment) real-time guaranteed throughput max. end-to-end latencies safety different safety levels entertainment → comfort function → active front steering → x-by-wire defined by ...
Matlab/Simulink
manually optimized combined with generated code
code from multiple sources (OEM, supplier, 3rd party)
growing efforts to find common run-time environment
AUTOSAR
AUTOSAR Methodology ...
doi:10.1145/1289816.1289880
dblp:conf/codes/ErnstSWKSJ07
fatcat:scy7s67ou5bztgxu5xv5b7f4bq
Validation process for railway interlocking systems
2016
Science of Computer Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
The same extracted model is then subject to formal verification experiments, employing an iterative verification process implementing slicing and CEGAR-like techniques, defined to address the typical complexity ...
In this paper we show how the problem has been addressed by a manufacturer at the final validation stage of production interlocking systems, by means of a model extraction procedure that creates a model ...
This constraint has favoured the choice of Matlab and Simulink, using Simulink logic gates to encode boolean functions extracted from the legacy control tables. ...
doi:10.1016/j.scico.2016.04.004
fatcat:sqftsseqqjhdfduib6h7fxha3a
Co-simulation of embedded systems in a heterogeneous MoC-based modeling framework
2011
2011 6th IEEE International Symposium on Industrial and Embedded Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
New design methodologies and modeling frameworks are required to provide a solution for integrating legacy code and IP models in order to be accepted in the industry. ...
Wrappers enable the framework to co-simulate/co-execute with external models which might be legacy code, an IP block, or an implementation of a partially refined system. ...
They allow the designers to integrate legacy codes and models in a formal modeling framework. ...
doi:10.1109/sies.2011.5953667
dblp:conf/sies/NiakiS11
fatcat:quxhbc6rcvdxphg6mgdulilf5q
AD-EYE: A Co-simulation Platform for Early Verification of Functional Safety Concepts
[article]
2019
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Other Versions
2019
SAE Technical Paper Series
unpublished
doi:10.4271/2019-01-0126 fatcat:fk6bgryfcfajnkc3fsyu5grymu
doi:10.4271/2019-01-0126 fatcat:fk6bgryfcfajnkc3fsyu5grymu
of the use of legacy functions in new contexts. ...
There has been a need to re-think the impact of the partial or complete absence of the human driver (in terms of a supervisory entity) in not only newly developed functions but also in the qualification ...
A node that publishes the current simulation time on the required ROS topic was created to be used within the Simulink models. ...
arXiv:1912.00448v1
fatcat:dy6qbl3bbncmfaw65s4eddgj4q
A survey of approaches for the visual model-driven development of next generation software-intensive systems
2006
Journal of Visual Languages and Computing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
In this article, we identify a number of general requirements for the visual model-driven specification of next generation software-intensive systems. ...
Therefore, visual modeling techniques to address these software-intensive systems require a mix of models from a multitude of disciplines such as software engineering, control engineering, and business ...
Acknowledgments We thank Sven Burmester for his contributions to the related workshop paper, which served as a starting point for this one, and his comments on earlier versions of this article. ...
doi:10.1016/j.jvlc.2006.10.002
fatcat:j4nr3z4wizgzvhuhvdkrcklozu
Test Generation and Test Prioritization for Simulink Models with Dynamic Behavior
2018
IEEE Transactions on Software Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Specifically, we propose a black-box test generation approach, implemented based on meta-heuristic search, that aims to maximize diversity in test output signals generated by Simulink models. ...
The Simulink modeling platform greatly appeals to CPS engineers since it captures dynamic behavior models. ...
Specifically, these models might be time-continuous magnitude-continuous, time-discrete • R. ...
doi:10.1109/tse.2018.2811489
fatcat:cxn4q2ix6vhafobq3p3r2wwiqi
The Use of Modelling within Prognostic Health Management Systems for a Fowler Flap System
2018
Proceedings of 8th International Conference on Simulation and Modeling Methodologies, Technologies and Applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
PHM systems utilise legacy and real time aircraft data in conjunction with simulation models to forecast the remaining useful life (RUL) of components and systems which allow maintenance decisions to be ...
Finally simulation results from a physical model of the system in Simulink have been generated. ...
A "generic" high lift model has been developed to protect intellectual property concerns for specific customer programs. ...
doi:10.5220/0006900701510159
dblp:conf/simultech/HardwickP18
fatcat:kgu5nebf3zet7c666z55sr5lue
Simulation-Based Assessment Methods
[chapter]
2020
European Guide to Power System Testing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Such technology allows the energy systems to be operated and controlled more optimally and to be pushed to their design boundaries. ...
Eventually, lab-based approaches to test, validate ...
to duplicate the model specification in Matlab/Simulink. ...
doi:10.1007/978-3-030-42274-5_3
fatcat:mnw3qmaa2fh7ha54cfurjgyk34
From Conception to Implementation: A Model Based Design Approach
2004
IFAC Proceedings Volumes
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf.
These components are integrated with handwritten (e.g. legacy) software modules together with the software platform. ...
In more details, g iven a model of the implementation platform, which describes the available services and data types, the algorithms captured by models are refined and then automatically translated to ...
The Simulink and Stateflow models represent the complete functional specification of an algorithm. ...
doi:10.1016/s1474-6670(17)30317-8
fatcat:csrewfc5srcmvkykwrppdboshm
A Giotto-Based Helicopter Control System
[chapter]
2002
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2003; you can also visit the original URL.
The file type is application/pdf.
We extend Simulink to support the design of Giotto models, and from these models, the automatic generation of Giotto code that supervises the interaction of the functionality code with the physical environment ...
Functionality code such as code computing control laws can be generated automatically from Simulink models or, as in the case of this project, inherited from a legacy system. ...
In order to simulate Giotto models in Simulink we have developed a translator that reads Simulink specifications of Giotto models and transforms them into standard discrete-time multi-rate Simulink models ...
doi:10.1007/3-540-45828-x_5
fatcat:ib6quz2tqvfwxdr2sy33vu3f4q
The Logical Execution Time Paradigm: New Perspectives for Multicore Systems (Dagstuhl Seminar 18092)
2018
Dagstuhl Reports
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
The seminar brought together academic and industrial researchers working on challenges related to the Logical Execution Time Paradigm (LET). ...
LET abstracts from the actual timing behavior of real-time tasks on the physical platform: Independent of when a task executes, the time interval between its reading input and writing output is fixed by ...
a model-based development with simulation in MATLAB/Simulink. ...
doi:10.4230/dagrep.8.2.122
dblp:journals/dagstuhl-reports/ErnstKQS18
fatcat:6k7z4uyijrhuxceulih3jeiqoa
« Previous
Showing results 1 — 15 out of 504 results