المؤلفون: Friebe, Anna, Markovic, Filip, Papadopoulos, Alessandro, Professor, Nolte, Thomas

المصدر: Real-time systems.

مصطلحات موضوعية: Real-time systems, Hidden Markov model, Probabilistic schedulability analysis, Deadline miss probability

وصف الملف: print

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-69419
https://doi.org/10.1007/s11241-024-09431-7

المؤلفون: Toba, Hayate, Azumi, Takuya

المساهمون: Hayate Toba and Takuya Azumi

مصطلحات موضوعية: Autonomous driving system, deadline miss early detection, DAG, event-driven task, timer-driven task, probabilistic execution time

وصف الملف: application/pdf

Relation: Is Part Of LIPIcs, Volume 298, 36th Euromicro Conference on Real-Time Systems (ECRTS 2024); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2024.8

الاتاحة: https://doi.org/10.4230/LIPIcs.ECRTS.2024.8
https://nbn-resolving.org/urn:nbn:de:0030-drops-203116
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2024.8

المؤلفون: Atsushi Yano, Takuya Azumi

المصدر: IEEE Access, Vol 11, Pp 22187-22200 (2023)

مصطلحات موضوعية: DAG, deadline miss early detection, event-driven task, self-driving system, timer-driven task, Electrical engineering. Electronics. Nuclear engineering, TK1-9971

وصف الملف: electronic resource

Relation: https://ieeexplore.ieee.org/document/10057382/; https://doaj.org/toc/2169-3536

URL الوصول: https://doaj.org/article/fb6ca08c5d7945beb9675e13cb3acfea

المؤلفون: Friebe, Anna, Markovic, Filip, Papadopoulos, Alessandro, Professor, Nolte, Thomas

المصدر: Proc. IEEE Real Time Embedded Technol. Appl. Symp. RTAS. :14-26

مصطلحات موضوعية: Deadline Miss Probability, Hidden Markov Model, Probabilistic Schedulability Analysis, Real-time systems, Computer operating systems, Continuous time systems, Hidden Markov models, Interactive computer systems, Probability distributions, Continuous emission, Emission distribution, Hidden-Markov models, Markov modeling, Probabilistic schedulability analyse, Probabilistics, Real - Time system, Real-time application, Schedulability analysis, Real time systems

وصف الملف: print

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-63914

المؤلفون: Pazzaglia, Paolo, Mandrioli, Claudio, Maggio, Martina, Cervin, Anton

المساهمون: Paolo Pazzaglia and Claudio Mandrioli and Martina Maggio and Anton Cervin

مصطلحات موضوعية: Weakly-Hard Real-Time Systems, Deadline Miss Handling, Control Design

وصف الملف: application/pdf

Relation: Is Part Of LIPIcs, Volume 133, 31st Euromicro Conference on Real-Time Systems (ECRTS 2019); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2019.1

الاتاحة: https://doi.org/10.4230/LIPIcs.ECRTS.2019.1
https://nbn-resolving.org/urn:nbn:de:0030-drops-107387
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2019.1

المؤلفون: Fradet, Pascal, Lesourd, Maxime, Monin, Jean-François, Quinton, Sophie

المساهمون: Sound Programming of Adaptive Dependable Embedded Systems (SPADES), Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire d'Informatique de Grenoble (LIG), Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes 2016-2019 (UGA 2016-2019 )-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes 2016-2019 (UGA 2016-2019 ), VERIMAG (VERIMAG - IMAG), Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes 2016-2019 (UGA 2016-2019 ), ANR-11-LABX-0025,PERSYVAL-lab,Systemes et Algorithmes Pervasifs au confluent des mondes physique et numérique(2011), ANR-15-CE25-0008,VOCAL,Bibliothèque OCaml vérifiée(2015), ANR-17-CE25-0016,RT-proofs,Preuves formelles pour systèmes temps-réel(2017)

المصدر: RTSS 2018 - 39th IEEE Real-Time Systems Symposium ; https://inria.hal.science/hal-01903752 ; RTSS 2018 - 39th IEEE Real-Time Systems Symposium, Dec 2018, Nashville, United States. pp.1-12

مصطلحات موضوعية: Index Terms-formal proofs, weakly-hard real-time systems, Coq, deadline miss models, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems

جغرافية الموضوع: Nashville, United States

الاتاحة: https://inria.hal.science/hal-01903752
https://inria.hal.science/hal-01903752v1/document
https://inria.hal.science/hal-01903752v1/file/main.pdf

المؤلفون: von der Brüggen, Georg, Piatkowski, Nico, Chen, Kuan-Hsun, Chen, Jian-Jia, Morik, Katharina

المساهمون: Georg von der Brüggen and Nico Piatkowski and Kuan-Hsun Chen and Jian-Jia Chen and Katharina Morik

مصطلحات موضوعية: deadline miss probability, multinomial-based approach, analytical bound

وصف الملف: application/pdf

Relation: Is Part Of LIPIcs, Volume 106, 30th Euromicro Conference on Real-Time Systems (ECRTS 2018); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2018.6

الاتاحة: https://doi.org/10.4230/LIPIcs.ECRTS.2018.6
https://nbn-resolving.org/urn:nbn:de:0030-drops-89978
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2018.6

المؤلفون: Pazzaglia, Paolo, Pannocchi, Luigi, Biondi, Alessandro, Di Natale, Marco

المساهمون: Paolo Pazzaglia and Luigi Pannocchi and Alessandro Biondi and Marco Di Natale

مصطلحات موضوعية: control, real-time, cyber physical systems, weakly hard, deadline miss, performance

وصف الملف: application/pdf

Relation: Is Part Of LIPIcs, Volume 106, 30th Euromicro Conference on Real-Time Systems (ECRTS 2018); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2018.10

الاتاحة: https://doi.org/10.4230/LIPIcs.ECRTS.2018.10
https://nbn-resolving.org/urn:nbn:de:0030-drops-89930
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2018.10

المؤلفون: Pazzaglia, Paolo, Mandrioli, Claudio, Maggio, Martina, Cervin, Anton

المساهمون: Paolo Pazzaglia and Claudio Mandrioli and Martina Maggio and Anton Cervin

مصطلحات موضوعية: Weakly-Hard Real-Time Systems, Deadline Miss Handling, Control Design

وصف الملف: application/pdf

Relation: Is Part Of DARTS, Volume 5, Issue 1, Special Issue of the 31st Euromicro Conference on Real-Time Systems (ECRTS 2019); https://drops.dagstuhl.de/entities/document/10.4230/DARTS.5.1.3

الاتاحة: https://doi.org/10.4230/DARTS.5.1.3
https://nbn-resolving.org/urn:nbn:de:0030-drops-107315
https://drops.dagstuhl.de/entities/document/10.4230/DARTS.5.1.3

المؤلفون: Pazzaglia, Paolo, Pannocchi, Luigi, Biondi, Alessandro, Di Natale, Marco

المساهمون: Paolo Pazzaglia and Luigi Pannocchi and Alessandro Biondi and Marco Di Natale

مصطلحات موضوعية: control, real-time, Cyber Physical Systems weakly hard, deadline miss, performance

وصف الملف: application/pdf

Relation: Is Part Of DARTS, Volume 4, Issue 2, Special Issue of the 30th Euromicro Conference on Real-Time Systems (ECRTS 2018); https://drops.dagstuhl.de/entities/document/10.4230/DARTS.4.2.4

الاتاحة: https://doi.org/10.4230/DARTS.4.2.4
https://nbn-resolving.org/urn:nbn:de:0030-drops-89728
https://drops.dagstuhl.de/entities/document/10.4230/DARTS.4.2.4

المؤلفون: Yu-Chu Tian, Youxian Sun, Wenhong Zhao, Feng Xia

المصدر: Sensors, Vol 7, Iss 12, Pp 3179-3191 (2007)

مصطلحات موضوعية: wireless sensor/actuator network, quality of service, adaptive resource management, fuzzy logic control, deadline miss ratio., Chemical technology, TP1-1185

وصف الملف: electronic resource

Relation: http://www.mdpi.com/1424-8220/7/12/3179/; https://doaj.org/toc/1424-8220

URL الوصول: https://doaj.org/article/57b8ff4c0e2d4e48879b633ec7788469

المؤلفون: Rachamalla, Sandhya, Kancherla, Anitha

مصطلحات موضوعية: Deadline miss ratio, Energy consumption, End-to-end delay, Real-time routing, Adaptive transmission power

Relation: http://www.springerplus.com/content/5/1/1110

الاتاحة: http://www.springerplus.com/content/5/1/1110

المؤلفون: Twan Basten, Amir Behrouzian, Hadi Alizadeh Ara, Marc Geilen, Dip Goswami

المساهمون: Electronic Systems, Cyber-Physical Systems Center Eindhoven, Embedded Control Systems Lab, Model-Based Design Lab, CompSOC Lab- Predictable & Composable Embedded Systems, EAISI High Tech Systems, EAISI Foundational

المصدر: ACM Transactions on Embedded Computing Systems, 19(4):26. Association for Computing Machinery, Inc

مصطلحات موضوعية: 020203 distributed computing, Mathematical optimization, Linear programming, Computer science, Rake, Time division multiple access, Balloon and Rake problem, k)-firm, 02 engineering and technology, Deadline miss, (m, finite point method, 020202 computer hardware & architecture, Scheduling (computing), firmness analysis, (m, k)-firm, Resource (project management), Hardware and Architecture, Asynchronous communication, Scalability, 0202 electrical engineering, electronic engineering, information engineering, Software, Integer (computer science)

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a6193c2a6754b4afd7061467cf103f22
https://research.tue.nl/en/publications/dd365487-2faf-4920-9935-7ea56025e29f

المؤلفون: Xia, Feng, Zhao, Wenhong, Sun, Youxian, Tian, Glen

المصدر: Sensors

مصطلحات موضوعية: Adaptive Resource Management, Deadline Miss Ratio, Fuzzy Logic Control, Quality of Service, Wireless Sensor/Actuator Network

وصف الملف: application/pdf

Relation: https://eprints.qut.edu.au/12497/1/s7123179.pdf; Xia, Feng, Zhao, Wenhong, Sun, Youxian, & Tian, Glen (2007) Fuzzy Logic Control Based QoS Management in Wireless Sensor/Actuator Networks. Sensors, 7(12), pp. 3179-3191.; https://eprints.qut.edu.au/12497/; School of Software Engineering & Data Communications; Science & Engineering Faculty; Australian Research Centre for Aerospace Automation

الاتاحة: https://eprints.qut.edu.au/12497/

المؤلفون: Behrouzian, Amir, Ara, Hadi Alizadeh, Geilen, Marc, Goswami, Dip, Basten, Twan

المصدر: Behrouzian , A , Ara , H A , Geilen , M , Goswami , D & Basten , T 2020 , ' Firmness Analysis of Real-time Tasks ' , ACM Transactions on Embedded Computing Systems , vol. 19 , no. 4 , 26 . https://doi.org/10.1145/3398328

مصطلحات موضوعية: (m, k)-firm, Balloon and Rake problem, Deadline miss, finite point method, firmness analysis

الاتاحة: https://research.tue.nl/en/publications/dd365487-2faf-4920-9935-7ea56025e29f
https://doi.org/10.1145/3398328
http://www.scopus.com/inward/record.url?scp=85093916089&partnerID=8YFLogxK

المؤلفون: Baghbanbehrouzian, Amirreza, Goswami, Dip, Basten, Twan, Geilen, Marc, Seyedalizadeh Ara, Seyedhadi, Hendriks, Martijn

المصدر: Baghbanbehrouzian , A , Goswami , D , Basten , T , Geilen , M , Seyedalizadeh Ara , S & Hendriks , M 2018 , ' Firmness analysis of real-time applications under static-priority preemptive scheduling ' , Paper presented at 24th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2018 , Porto , Portugal , 11/04/18 - 13/04/18 pp. 295-304 . https://doi.org/10.1109/RTAS.2018.00037

مصطلحات موضوعية: (m,k) firm real time tasks, Deadline miss, Static priority preemptive

الاتاحة: https://research.tue.nl/en/publications/50ca7fd1-373f-4406-89e5-30be13557409
https://doi.org/10.1109/RTAS.2018.00037
http://www.scopus.com/inward/record.url?scp=85055798296&partnerID=8YFLogxK

المؤلفون: Calvaresi, Davide, Albanese, Giuseppe, Dubosson, Fabien, Marinoni, Mauro, Schumacher, Michael

المساهمون: Calvaresi, Davide, Albanese, Giuseppe, Dubosson, Fabien, Marinoni, Mauro, Schumacher, Michael

مصطلحات موضوعية: Deadline Miss Ratio, Multi-Agent Simulator, Performance Analysi, Scheduling Simulation, Task-Set Generator, Timing-Reliability, Computer Science (all)

وصف الملف: ELETTRONICO

Relation: ispartofbook:CEUR Workshop Proceedings; 1st International Workshop on Real-Time Compliant Multi-Agent Systems, RTcMAS 2018; volume:2156; firstpage:31; lastpage:44; numberofpages:14; journal:CEUR WORKSHOP PROCEEDINGS; http://hdl.handle.net/11382/525511; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85052453746; http://ceur-ws.org/

الاتاحة: http://hdl.handle.net/11382/525511
http://ceur-ws.org/

المؤلفون: Pascal Fradet, Jean-François Monin, Maxime Lesourd, Sophie Quinton

المساهمون: Sound Programming of Adaptive Dependable Embedded Systems (SPADES), Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire d'Informatique de Grenoble (LIG ), Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes [2016-2019] (UGA [2016-2019])-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes [2016-2019] (UGA [2016-2019]), VERIMAG (VERIMAG - IMAG), Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes [2016-2019] (UGA [2016-2019]), ANR-11-LABX-0025,PERSYVAL-lab,Systemes et Algorithmes Pervasifs au confluent des mondes physique et numérique(2011), ANR-15-CE25-0008,VOCAL,Bibliothèque OCaml vérifiée(2015), ANR-17-CE25-0016,RT-proofs,Preuves formelles pour systèmes temps-réel(2017)

المصدر: RTSS 2018-39th IEEE Real-Time Systems Symposium
RTSS 2018-39th IEEE Real-Time Systems Symposium, Dec 2018, Nashville, United States. pp.1-12
RTSS

مصطلحات موضوعية: Computer science, Programming language, Proof assistant, 02 engineering and technology, computer.software_genre, Mathematical proof, Index Terms-formal proofs, 020202 computer hardware & architecture, System model, deadline miss models, 020204 information systems, weakly-hard real-time systems, 0202 electrical engineering, electronic engineering, information engineering, Microsoft Windows, Task analysis, Key (cryptography), Uniprocessor system, Coq, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, computer, Case analysis

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7f5f82bf018be3e5f67c9e8ed434da36
https://inria.hal.science/hal-01903752

المؤلفون: Behrouzian, A.R.B., Goswami, D., Basten, T., Geilen, M., Alizadeh Ara, H., Hendriks, M.

المصدر: 2018 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 295-304

مصطلحات موضوعية: Deadline miss, (m,k)-firm real-time tasks, Staticpriority preemptive, Industrial Innovation

Relation: uuid:37e73abe-b4dc-4883-96ee-6bd0c6cebbe2; 842607; http://resolver.tudelft.nl/uuid:37e73abe-b4dc-4883-96ee-6bd0c6cebbe2

الاتاحة: http://resolver.tudelft.nl/uuid:37e73abe-b4dc-4883-96ee-6bd0c6cebbe2

مصطلحات موضوعية: k)-firm real-time tasks, Industrial Innovation, Deadline miss, Staticpriority preemptive, (m

URL الوصول: https://explore.openaire.eu/search/publication?articleId=dris___00893::6b53e6d3f98bf112d2a21925de878db3
http://resolver.tudelft.nl/uuid:37e73abe-b4dc-4883-96ee-6bd0c6cebbe2