Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
Bridging the gap between formal verification and schedulability analysis: The case of robotics
Foughali, Mohammed, Hladik, Pierre-Emmanuel
Published in Journal of systems architecture (01.12.2020)
Published in Journal of systems architecture (01.12.2020)
Get full text
Journal Article
Schedulable Verification Framework for IMA System Based on Model-Transformation
Hu, Jun, Cheng, Zhen, Ma, Jinjing, Liu, Xue, Shi, Jiaojie
Published in Nanjing hang kong hang tian da xue xue bao (01.06.2015)
Published in Nanjing hang kong hang tian da xue xue bao (01.06.2015)
Get full text
Journal Article
Timing constraint workflow nets for workflow analysis
JianQiang Li, YuShun Fan, Zhou, MengChu
Published in IEEE transactions on systems, man and cybernetics. Part A, Systems and humans (01.03.2003)
Published in IEEE transactions on systems, man and cybernetics. Part A, Systems and humans (01.03.2003)
Get full text
Journal Article
Research on schedulability analysis algorithm of airborne multi partition system
ZHANG, Min, WU, Junsheng, CUI, Xining, SUN, Jingchang
Published in Xibei Gongye Daxue Xuebao (01.06.2023)
Published in Xibei Gongye Daxue Xuebao (01.06.2023)
Get full text
Journal Article
Incremental Performance Analysis for Accelerating Verification of TSN Network Reconfigurations
Zhao, Luxi, Zhang, Xinyu, He, Feng, Li, Zheng
Published in IEEE eTransactions on network and service management (01.10.2024)
Published in IEEE eTransactions on network and service management (01.10.2024)
Get full text
Journal Article
Exact Schedulability Analysis for Limited-Preemptive Parallel Applications Using Timed Automata in UPPAAL
Hansen, Jonas, Srinivasan, Srinidhi, Nelissen, Geoffrey, Larsen, Kim G.
Published in Proceedings - Design, Automation, and Test in Europe Conference and Exhibition (31.03.2025)
Published in Proceedings - Design, Automation, and Test in Europe Conference and Exhibition (31.03.2025)
Get full text
Conference Proceeding
A Model-Driven Co-Design Framework for Fusing Control and Scheduling Viewpoints
Sundharam, Sakthivel Manikandan, Navet, Nicolas, Altmeyer, Sebastian, Havet, Lionel
Published in Sensors (Basel, Switzerland) (20.02.2018)
Published in Sensors (Basel, Switzerland) (20.02.2018)
Get full text
Journal Article
Task automata: Schedulability, decidability and undecidability
Fersman, Elena, Krcal, Pavel, Pettersson, Paul, Yi, Wang
Published in Information and computation (2007)
Published in Information and computation (2007)
Get full text
Journal Article