Subjecting legacy simulink models to timing specifications

Andreas Naderlinger*

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding/Legal commentaryConference contributionpeer-review

Original languageEnglish
Title of host publicationCyber Physical Systems. Model-Based Design - 8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Revised Selected Papers
EditorsRoger Chamberlain, Walid Taha, Martin Törngren
PublisherSpringer Verlag
Pages51-70
Number of pages20
ISBN (Print)9783030237028
DOIs
Publication statusPublished - 1 Jan 2019
Event8th International Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems, CyPhy 2018 and 14th International Workshop on Embedded and Cyber-Physical Systems Education, WESE 2018, held in conjunction with ESWeek 2018 - Turin, Italy
Duration: 4 Oct 20185 Oct 2018

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume11615 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference8th International Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems, CyPhy 2018 and 14th International Workshop on Embedded and Cyber-Physical Systems Education, WESE 2018, held in conjunction with ESWeek 2018
Country/TerritoryItaly
CityTurin
Period4/10/185/10/18

Keywords

  • Logical execution time
  • Simulink
  • Timing specification

Fields of Science and Technology Classification 2012

  • 102 Computer Sciences

Cite this