Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Jan Storbank Pedersen"'
Autor:
Jan Storbank Pedersen, Arne Skou, Kim Guldstrand Larsen, Poul Hougaard, Brian Nielsen, Marius Mikučionis, Steen Ulrik Palm, Jacob Illum Rasmussen
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783642165603
ISoLA (2)
ISoLA (2)
We propose a modeling framework for performing schedulability analysis by using UPPAAL real-time model-checker [2]. The framework is inspired by a case study where schedulability analysis of a satellite system is performed. The framework assumes a si
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2789e33289963fe950ecac5fe0dae792
https://doi.org/10.1007/978-3-642-16561-0_21
https://doi.org/10.1007/978-3-642-16561-0_21
Publikováno v:
Reliable Software Technologies — Ada-Europe’ 99 ISBN: 9783540660934
Ada-Europe
Ada-Europe
The rise of the 'cheaper, faster, better' mission paradigm increasingly challenges the industrial development of satellite systems. The novel paradigm will have a profound impact on the production of the real-time software embedded on board new-gener
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::49f86e6d9b8d66bd488f50e81672fd0b
http://hdl.handle.net/11577/187642
http://hdl.handle.net/11577/187642
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783540566625
FME
FME
The formal method RAISE and its associated specification language, RSL, are assessed by a number of consumers in the LaCoS project. The consumers apply the technology to their industrial applications and document their experience in a number of asses
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7f31dfe9ca4671341ae273398d6b4c22
https://doi.org/10.1007/bfb0024637
https://doi.org/10.1007/bfb0024637
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783540548348
VDM Europe (1)
VDM Europe (1)
Practically all of the applications have realised their initial objectives, which is a substantial achievement. It is too early to pass comment on the longer term objectives, although work towards some of these has begun.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::fa42229254fba7bd74ff0c5f4a93cd35
https://doi.org/10.1007/3-540-54834-3_39
https://doi.org/10.1007/3-540-54834-3_39
Autor:
Jan Storbank Pedersen
Publikováno v:
VDM '87 VDM — A Formal Method at Work ISBN: 9783540176541
VDM Europe
VDM Europe
Since 1980, three different formal descriptions of the Ada programming language have been developed, based on the principles of the Vienna Development Method (VDM). This paper characterizes each of the three descriptions and explains some of the diff
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::91adac5ab4dcc261b8e7979e895eddca
https://doi.org/10.1007/3-540-17654-3_3
https://doi.org/10.1007/3-540-17654-3_3
Autor:
Jan Storbank Pedersen
Publikováno v:
Science of Computer Programming. 10(3)
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::eae5c77a6e22de9e253dbf39b38ece66
Autor:
Jan Storbank Pedersen
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783540102830
Towards a Formal Description of Ada
Towards a Formal Description of Ada
This paper gives a formal denotational dynamic semantics definition of the sequential parts of Ada. It describes the ‘meaning’ of (abstract) Ada constructs by state-to-state transformations on an abstract machine.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::16269eae9d68329f9156dc1caebeede5
https://doi.org/10.1007/3-540-10283-3_3
https://doi.org/10.1007/3-540-10283-3_3