Zobrazeno 1 - 10
of 17
pro vyhledávání: '"Norbert Völker"'
Publikováno v:
Scopus-Elsevier
In real-world applications, Internet or online robots require a high degree of autonomy and local intelligence to deal with the uncertainties in both their environments and the Internet. This paper describes our progress in building a new framework f
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ac736b2de759088c7dbe90c4d495c689
https://doi.org/10.3233/ica-2004-11302
https://doi.org/10.3233/ica-2004-11302
Autor:
Bernd Krämer, Norbert Völker
Safety-Critical Real-Time Systems brings together in one place important contributions and up-to-date research results in this fast moving area. Safety-Critical Real-Time Systems serves as an excellent reference, providing insight into some of the mo
Autor:
Norbert Völker, Bernd J. Krämer
Publikováno v:
Science of Computer Programming. 42:101-113
The international standard IEC 61131-3, which supports Brad Cox’ concept of “Software-ICs” for industrial control programming, is increasingly being used in safety-related application domains. They include safety-instrumented functions, such as
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5d424e2a0218cd5306e49d16d7ca09e9
https://doi.org/10.1016/s0167-6423(01)00028-4
https://doi.org/10.1016/s0167-6423(01)00028-4
Autor:
Bernd J. Krämer, Norbert Völker
Publikováno v:
IFAC Proceedings Volumes. 32:159-164
IEC 61131-3, the world-wide standard for industrial control programming, is increasingly being used in safety-related control applications. Control loops are built from components taken from domain-specific function block libraries. Code inspection a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::55e32f9f3eb169405fdea31c507c909f
https://doi.org/10.1016/s1474-6670(17)39981-0
https://doi.org/10.1016/s1474-6670(17)39981-0
Autor:
Norbert Völker, Bernd J. Krämer
Publikováno v:
Electronic Notes in Theoretical Computer Science. 25:97-110
IEC 61131-3, the world-wide standard for industrial control programming, is increasingly being used in embadded control applications. The standard supports the concept of reusable “software ICs” through the concept of function blocks. can be hier
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4b0afb3dcffd3875c16ee539a4217e03
https://doi.org/10.1016/s1571-0661(04)00135-5
https://doi.org/10.1016/s1571-0661(04)00135-5
Publikováno v:
Journal of Systems Integration. 8:143-158
This article describes an approach to the development of highly reliable and reusable CORBA applications. Interface description language (IDL) specifications are extended with LOTOS specifications of the functional and dynamic behavior of the interfa
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9fce877dbd08e3170ca1577fcee18300
https://doi.org/10.1023/a:1008226622237
https://doi.org/10.1023/a:1008226622237
Autor:
Bernd J. Krämer, Norbert Völker
Publikováno v:
Real-Time Systems. 13:237-251
More and more technical systems are supervised, controlled and regulated by programmable electronic systems. The dependability of the entire system depends heavily on the safety of the embedded software. But the technological trend to entrust softwar
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6965affc3b8b1d71345fb5b27dc7e5bd
https://doi.org/10.1023/a:1007959310351
https://doi.org/10.1023/a:1007959310351
Publikováno v:
The Computer Journal. 35:547-554
The task of software production is to build software systems which are to fulfil certain requirements. For years the approach has been to build up by trial and error a program which, having satisfied carefully prepared test data, offers a plausible s
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9f152064831848bc5ce481a43f9e7468
https://doi.org/10.1093/comjnl/35.6.547
https://doi.org/10.1093/comjnl/35.6.547
Autor:
Norbert Völker
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783540745907
TPHOLs
TPHOLs
This paper introduces the logical system HOL2P that extends classical higher order logic (HOL) with type operator variables and universal types. HOL2P has explicit term operations for type abstraction and type application. The formation of type appli
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3c2ab87537cff67306c03b4ae7a565c0
https://doi.org/10.1007/978-3-540-74591-4_25
https://doi.org/10.1007/978-3-540-74591-4_25
Publikováno v:
SPIE Proceedings.
Transreal arithmetic is a total arithmetic that contains real arithmetic, but which has no arithmetical exceptions. It allows the specification of the Universal Perspex Machine which unifies geometry with the Turing Machine. Here we axiomatise the al
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8d2bd854f1ba9a882dbde70bfb89e989
https://doi.org/10.1117/12.698153
https://doi.org/10.1117/12.698153