Model of Multitasking Applications with Preemption Based on Timed Automata.

performance analysis and controller synthesis for real-time systems

Uli Fahrenberg
Kim G. Larsen
Claus R. Thrane A

January 2010

This note aims at providing a concise and precise Travellers Guide, Phrase Book or Reference Manual ...

Preemptive scheduling of jobs with position-dependent processing times on two parallel identical machines

Żurowski, Marcin

January 2019

Wydział Matematyki i InformatykiW rozprawie rozważamy podzielne szeregowanie zadań z pozycyjno-zależ...

Verification, Performance Analysis and Controller Synthesis for Real-Time Systems

Fahrenberg, Uli
Larsen, Kim Guldstrand
Thrane, Claus Rørbæk

January 2009

This note aims at providing a concise and precise Travellers Guide, Phrase Book or Reference Manual ...

TIMED AUTOMATA MODEL OF PREEMPTIVE MULTITASKING APPLICATIONS

Libor Waszniowski
Zdenek Hanzalek

April 2015

Abstract: The aim of this article is to show, how a multitasking application running under a real-ti...

Formal Verification and Implementation of Real-Time Applications

Liviu Haţegan
Piroska Haller

December 2009

This paper presents a method for the formal description, verification and automatic source code gene...

Forgetting and restarting automata.

Mraz, Frantisek

January 2001

Available from STL Prague, CZ / NTK - National Technical LibrarySIGLECZCzech Republi

An introduction to timed languages and timed automata

Obach, Darlene Daryl
Jamoralin, Karl Nikolai
Ong, Arlyn Verina L.
Ong, Russell

January 2005

Timed languages are introduced as a class of languages that accepts timed words: sequences of events...

Model Checking of Real Time Software.

Waszniowski, L.
Hanzalek, Z.
Ceske vysoke uceni technicke v Praze, Praha (Czech Republic)

January 2002

Available from STL Prague, CZ / NTK - National Technical LibrarySIGLECZCzech Republi

Verification of a timed multitask system with UPPAAL

Roussel, Jean-Marc
De Smet, Olivier
Bel Mokadem, Houda
Bérard, Béatrice
Gourcuff, Vincent

January 2005

Since it is an important issue for users and system designers, verification of PLC programs has alre...

Performance analysis of real-time task systems using timed automata

Igna, G.

January 2013

Contains fulltext : 102351.pdf (publisher's version ) (Open Access)Radboud Univers...

Modelling the CAN Bus Access by Timed Automata with Priorities

Pek, Alen

September 2012

U radu su obrađeni vremenski automati I CAN protokol, te je izrađen model pristupa CAN sabirnici pom...

Model Checking Timed Automata - Techniques and Applications

Hendriks, M.

January 2006

Model checking is a technique to automatically analyse systems that have been modeled in a formal la...

Refinement of timed automata models according to hardware characteristics

Hamrle, Martin

January 2008

Timed automata have been designed for modeling a real-time system behavior over time. Main obstacle ...

Modeling and Analysis of Real-Time Systems with Mutex Components

Guoqiang Li
Xiaojuan Cai
Shoji Yuen

July 2015

Abstract—Timed automata are popular for formally analyz-ing real-time systems. However, it is diffic...

Model-based Verification and Analysis for Real-Time Systems

Fahrenberg, Uli
Larsen, Kim Guldstrand
Thrane, Claus

January 2011

International audienceThis article aims at providing a concise and precise Travellers Guide, Phrase ...

performance analysis and controller synthesis for real-time systems

Uli Fahrenberg
Kim G. Larsen
Claus R. Thrane A

January 2010

This note aims at providing a concise and precise Travellers Guide, Phrase Book or Reference Manual ...

Preemptive scheduling of jobs with position-dependent processing times on two parallel identical machines

Żurowski, Marcin

January 2019

Wydział Matematyki i InformatykiW rozprawie rozważamy podzielne szeregowanie zadań z pozycyjno-zależ...

Verification, Performance Analysis and Controller Synthesis for Real-Time Systems

Fahrenberg, Uli
Larsen, Kim Guldstrand
Thrane, Claus Rørbæk

January 2009

This note aims at providing a concise and precise Travellers Guide, Phrase Book or Reference Manual ...

TIMED AUTOMATA MODEL OF PREEMPTIVE MULTITASKING APPLICATIONS

Libor Waszniowski
Zdenek Hanzalek

April 2015

Abstract: The aim of this article is to show, how a multitasking application running under a real-ti...

Formal Verification and Implementation of Real-Time Applications

Liviu Haţegan
Piroska Haller

December 2009

This paper presents a method for the formal description, verification and automatic source code gene...

Forgetting and restarting automata.

Mraz, Frantisek

January 2001

Available from STL Prague, CZ / NTK - National Technical LibrarySIGLECZCzech Republi

An introduction to timed languages and timed automata

Obach, Darlene Daryl
Jamoralin, Karl Nikolai
Ong, Arlyn Verina L.
Ong, Russell

January 2005

Timed languages are introduced as a class of languages that accepts timed words: sequences of events...

Model Checking of Real Time Software.

Waszniowski, L.
Hanzalek, Z.
Ceske vysoke uceni technicke v Praze, Praha (Czech Republic)

January 2002

Available from STL Prague, CZ / NTK - National Technical LibrarySIGLECZCzech Republi

Verification of a timed multitask system with UPPAAL

Roussel, Jean-Marc
De Smet, Olivier
Bel Mokadem, Houda
Bérard, Béatrice
Gourcuff, Vincent

January 2005

Since it is an important issue for users and system designers, verification of PLC programs has alre...

Performance analysis of real-time task systems using timed automata

Igna, G.

January 2013

Contains fulltext : 102351.pdf (publisher's version ) (Open Access)Radboud Univers...

Modelling the CAN Bus Access by Timed Automata with Priorities

Pek, Alen

September 2012

U radu su obrađeni vremenski automati I CAN protokol, te je izrađen model pristupa CAN sabirnici pom...

Model Checking Timed Automata - Techniques and Applications

Hendriks, M.

January 2006

Model checking is a technique to automatically analyse systems that have been modeled in a formal la...

Refinement of timed automata models according to hardware characteristics

Hamrle, Martin

January 2008

Timed automata have been designed for modeling a real-time system behavior over time. Main obstacle ...

Modeling and Analysis of Real-Time Systems with Mutex Components

Guoqiang Li
Xiaojuan Cai
Shoji Yuen

July 2015

Abstract—Timed automata are popular for formally analyz-ing real-time systems. However, it is diffic...

Model-based Verification and Analysis for Real-Time Systems

Fahrenberg, Uli
Larsen, Kim Guldstrand
Thrane, Claus

January 2011

International audienceThis article aims at providing a concise and precise Travellers Guide, Phrase ...

performance analysis and controller synthesis for real-time systems

Uli Fahrenberg
Kim G. Larsen
Claus R. Thrane A

January 2010

This note aims at providing a concise and precise Travellers Guide, Phrase Book or Reference Manual ...

Preemptive scheduling of jobs with position-dependent processing times on two parallel identical machines

Żurowski, Marcin

January 2019

Wydział Matematyki i InformatykiW rozprawie rozważamy podzielne szeregowanie zadań z pozycyjno-zależ...

Verification, Performance Analysis and Controller Synthesis for Real-Time Systems

Fahrenberg, Uli
Larsen, Kim Guldstrand
Thrane, Claus Rørbæk

January 2009

This note aims at providing a concise and precise Travellers Guide, Phrase Book or Reference Manual ...

Model of Multitasking Applications with Preemption Based on Timed Automata.

Abstract

Extracted data

Model of Multitasking Applications with Preemption Based on Timed Automata.

Abstract

Extracted data

Related items

Related items