Zobrazeno 1 - 10
of 90
pro vyhledávání: '"Anders P. Ravn"'
Publikováno v:
Concurrency and Computation: Practice and Experience. 26:2407-2431
The Java programming language was originally developed for embedded systems, but the resource requirements of previous and current Java implementations - especially memory consumption - tend to exclude them from being used on a significant class of r
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1a9ce3dbc24e35e18c387b216b532373
https://doi.org/10.1002/cpe.3164
https://doi.org/10.1002/cpe.3164
Publikováno v:
Unifying Theories of Programming ISBN: 9783319522272
UTP
UTP
It is well known that informal simulation-based design of embedded systems has a low initial cost and delivers early results; yet it cannot guarantee the correctness and reliability of the system to be developed. In contrast, the correctness and reli
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::176feac7d8d09fb241e09d71851c8c0f
https://doi.org/10.1007/978-3-319-52228-9_4
https://doi.org/10.1007/978-3-319-52228-9_4
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783319631202
Models, Algorithms, Logics and Tools
Ravn, A P, Thomsen, B, Søe Luckow, K, Thomsen, L L & Bøgholm, T 2017, Firm Deadline Checking of Safety-Critical Java Applications with Statistical Model Checking . in L Aceto, G Bacci, G Bacci, A Ingólfsdóttir, A Legay & R Mardare (eds), Models, Algorithms, Logics and Tools : Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday . Springer, Cham, Lecture Notes in Computer Science, vol. 10460, pp. 269-288, Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday, 25/07/2017 . https://doi.org/10.1007/978-3-319-63121-9_14
Models, Algorithms, Logics and Tools
Ravn, A P, Thomsen, B, Søe Luckow, K, Thomsen, L L & Bøgholm, T 2017, Firm Deadline Checking of Safety-Critical Java Applications with Statistical Model Checking . in L Aceto, G Bacci, G Bacci, A Ingólfsdóttir, A Legay & R Mardare (eds), Models, Algorithms, Logics and Tools : Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday . Springer, Cham, Lecture Notes in Computer Science, vol. 10460, pp. 269-288, Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday, 25/07/2017 . https://doi.org/10.1007/978-3-319-63121-9_14
In cyber-physical applications many programs have hard real-time constraints that have to be stringently validated. In some applications, there are programs that have hard deadlines, which must not be violated. Other programs have soft deadlines wher
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a05dae028bf571ad58363bcb7841389d
https://doi.org/10.1007/978-3-319-63121-9_14
https://doi.org/10.1007/978-3-319-63121-9_14
Publikováno v:
Olderog, E-R, Ravn, A P & Wisniewski, R 2017, Linking Discrete and Continuous Models, Applied to Traffic Manoeuvrers . in Provably Correct Systems . Springer, NASA Monographs in Systems and Software Engineering, pp. 95-120 . https://doi.org/10.1007/978-3-319-48628-4_5
NASA Monographs in Systems and Software Engineering ISBN: 9783319486277
Provably Correct Systems
NASA Monographs in Systems and Software Engineering ISBN: 9783319486277
Provably Correct Systems
The interplay between discrete and continuous dynamical models is discussed, and a systematic approach to developing and combining these models together is outlined. The combination is done with linking predicates that define refinement relations bet
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::67e150afcca848689843261e8830d221
https://vbn.aau.dk/da/publications/721a0cc8-714d-4fa1-b263-06baf99dba64
https://vbn.aau.dk/da/publications/721a0cc8-714d-4fa1-b263-06baf99dba64
Autor:
Hans Rischel, Michael Schenke, He Jifeng, Martin Fränzle, Anders P. Ravn, Ernst-Rüdiger Olderog, Markus Müller-Olm, Michael R. Hansen, C. A. R. Hoare
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783540584681
FTRTFT
FTRTFT
As computers increasingly control the systems and services we depend upon within our daily lives like transport, communications, and the media, ensuring these systems function correctly is of utmost importance. This book consists of twelve chapters a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c832c90f5eb621ec497d40bb6b9c89fb
https://ora.ox.ac.uk/objects/uuid:5b69534d-b9d9-45b6-95e2-c7f81255f15f
https://ora.ox.ac.uk/objects/uuid:5b69534d-b9d9-45b6-95e2-c7f81255f15f
Publikováno v:
Le Guilly, T, Olsen, P, Ravn, A P & Skou, A J 2016, Modeling and Analysis of Component Faults and Reliability . in L Petre & E Sekerinski (eds), From Action Systems to Distributed Systems : The Refinement Approach . CRC Press, Computational Science Series, pp. 45-60 . https://doi.org/10.1201/b20053-7
From Action Systems to Distributed Systems
From Action Systems to Distributed Systems
This chapter presents a process to design and validate models of reactive systems in the form of communicating timed automata. The models are extended with faults associated with probabilities of occurrence. This enables a fault tree analysis of the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f0556b837e5ee307c762dead4fa663a1
https://vbn.aau.dk/da/publications/7fe15e4a-5cc7-446f-a1b8-2a765990b9ca
https://vbn.aau.dk/da/publications/7fe15e4a-5cc7-446f-a1b8-2a765990b9ca
Publikováno v:
Marques, A P, Ravn, A P, Srba, J & Vighio, S 2013, ' Model-Checking Web Services Business Activity Protocols ', International Journal on Software Tools for Technology Transfer, vol. 15, no. 2, pp. 125-147 . https://doi.org/10.1007/s10009-012-0231-4
Web services business activity (WS-BA) specification defines two coordination protocols BAwCC (Business Agreement with Coordination Completion) and BAwPC (Business Agreement with Participant Completion) that ensure a consistent agreement on the outco
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7473433eb4bd2d57a4c22516dfe55251
https://doi.org/10.1007/s10009-012-0231-4
https://doi.org/10.1007/s10009-012-0231-4
Autor:
Anders P. Ravn, Martin Schoeberl
Publikováno v:
Ravn, A P & Schoeberl, M 2012, ' Safety-critical Java with cyclic executives on chip-multiprocessors ', Concurrency and Computation: Practice & Experience, vol. 24, no. 8, pp. 772-788 . https://doi.org/10.1002/cpe.1754
Ravn, A P & Schoeberl, M 2012, ' Safety-critical Java with cyclic executives on chip-multiprocessors ', Concurrency and Computation: Practice & Experience, vol. 24, no. 8, pp. 772–788 . https://doi.org/10.1002/cpe.1754
Ravn, A P & Schoeberl, M 2012, ' Safety-critical Java with cyclic executives on chip-multiprocessors ', Concurrency and Computation: Practice & Experience, vol. 24, no. 8, pp. 772–788 . https://doi.org/10.1002/cpe.1754
Chip-multiprocessors offer increased processing power at a low cost. However, in order to use them for real-time systems, tasks have to be scheduled efficiently and predictably. It is well known that finding optimal schedules is a computationally har
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2ea1c1feb79ba6a3ff51705f973b8c45
https://doi.org/10.1002/cpe.1754
https://doi.org/10.1002/cpe.1754
Publikováno v:
CDC
Olderog, E-R, Ravn, A P & Wisniewski, R 2015, Linking spatial and dynamic models for traffic maneuvers . in 2015 54th Annual Conference on Decision and Control (CDC) . IEEE, pp. 6809-6816, 54th IEEE Conference on Decision and Control, Osaka, Japan, 15/12/2015 . https://doi.org/10.1109/CDC.2015.7403292
Olderog, E-R, Ravn, A P & Wisniewski, R 2015, Linking spatial and dynamic models for traffic maneuvers . in 2015 54th Annual Conference on Decision and Control (CDC) . IEEE, pp. 6809-6816, 54th IEEE Conference on Decision and Control, Osaka, Japan, 15/12/2015 . https://doi.org/10.1109/CDC.2015.7403292
For traffic maneuvers of multiple vehicles on highways we build an abstract spatial and a concrete dynamic model. In the spatial model we show the safety (collisionfreedom) of lane-change maneuvers. By linking the spatial and dynamic model via suitab
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::09e7c815f7addff1537858ee5e018ea7
https://doi.org/10.1109/cdc.2015.7403292
https://doi.org/10.1109/cdc.2015.7403292
Publikováno v:
Pedersen, T, Le Guilly, T, Ravn, A P & Skou, A J 2015, A Method for Model Checking Feature Interactions . in P Lorenz & L Maciaszek (eds), Proceedings of the 10th International Conference on Software Engineering and Applications . SCITEPRESS Digital Library, pp. 219-228, 10th International Conference on Software Engineering and Applications, Colmar, Alsace, France, 22/07/2015 . https://doi.org/10.5220/0005516402190228
ICSOFT-EA
ICSOFT-EA
This paper presents a method to check for feature interactions in a system assembled from independently developed concurrent processes as found in many reactive systems. The method combines and refines existing definitions and adds a set of activitie
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::949507a557414a1129317eca70413a6b
https://vbn.aau.dk/da/publications/48db7a16-cf8f-449e-9323-1b5a10148df3
https://vbn.aau.dk/da/publications/48db7a16-cf8f-449e-9323-1b5a10148df3