- document
-
Chen, J.C. (author), Pronk, T.M.C. (author), Van de Wouw, A. (author)Document(en) uit de collectie Chemische Procestechnologiereport 2011
- document
-
Pronk, C. (author)This paper presents a study on modeling and verifying the kernel of Real-Time Operating Systems (RTOS). The study will show advances in formally verifying such an RTOS both by refinement and by model checking approaches. This work fits in the context of Hoare’s verification challenge. Several real-time operating systems will be discussed...report 2010
- document
-
Taverne, P. (author), Pronk, C. (author)Accepted for publication in the Proceedings of the 11th International Conference on Formal Engineering Methods, ICFEM 2009. This paper presents a case study in modeling and verifying a POSIX-like file store for Flash memory. This work fits in the context of Hoare’s verification challenge and, in particular, Joshi and Holzmann’s mini-challenge to...report 2009
- document
- Pronk, J. (author) report 1999
- document
- Pronk, J. (author) report 1999
- document
- Pronk, J. (author) report 1999
- document
- Pronk, J. (author) report 1998
- document
- Pronk, J. (author) report 1998
- document
- Pronk, J. (author) report 1998
- document
- Pronk, J. (author) report 1998
- document
- Pronk, J. (author) report 1998
- document
- Pronk, J. (author) report 1998
- document
-
Pronk, Z. (author)This technical report contains the results of a pilot study on the application of Computer Based Training (CBT) for ERA operations training and for payload operations training onboard International Space Station.report 1997
- document
-
Brouwer, M.P.A.M. (author), Pronk, Z. (author), Visser, F.B. (author), de Haas, J. (author)At the early beginning (1989) of implementation of the European User Support Organisation (USO) concept, development and implementation of a Dutch Utilisation Centre (DUC) started at NLR premises. After development of several pilot DUC facilities, DUC participated in a Columbus simulation mission and in the 2nd International Micro-gravity...report 1996
- document
-
Pronk, Z. (author), Prins, J.J.M. (author)The purpose of this document is to identify applications for the European Real-time Operations Simulator, EuroSim. First, the document provides an overview of the functional capabilities of the EuroSim. An executive summary of the EuroSim tool is given dealing with what it is, its current status, and what it will become. A list of possible...report 1996
- document
-
Pronk, Z. (author), de Haas, J. (author)This report contains a description of work performed under contract with the "Nederlands Instituut vor Vliegtuigontwikkeling en Ruimtevaart, NIVR". The objective of the work was to implement and demonstrate a real-time simulation package in the development and test environment of the NLR Teleoperations and Robotics laboratory. Originally,...report 1996
- document
-
Pronk, Z. (author), van Woerkom, P.T.L.M. (author)Computer simulation and testing of zero-gravity operations in support of development of space structures becomes more and more standard. Yet, the need for hardware simulation and test facilities representing zero-gravity conditions remains necessary, because of the strong requirements for verification and validation of system responses and model...report 1995
- document
-
de Brouwer, M.G.A. (author), Pronk, Z. (author)Participation of Dutch industries and institutes in future development activities of the Lunar European Demonstrator Approach has been focused on simulation and teleoperation concepts. Some studies have been initiated on the implementation of new technologies in teleoperation: Virtual Reality and Telepresence. An evaluation of state-of-the-art...report 1995
- document
-
de Haas, J. (author), Pronk, Z. (author), Schoonmade, M. (author)The specific demands and restrictions of remote payload operations in space require special attention during the development and operational phases. One of the important tools used in this process is simulation. The actual type of simulation depends on aspects like the complexity of the system, safety aspects and the development phase it is used...report 1995
- document
-
Pronk, Z. (author), van Woerkom, P.T.L.M. (author)Considering the development of various structures required in current and future space projects like the International Space Station, and lunar and planetary explorations, the development support of systems performing relative motion (rendezvous & docking), manipulations (robotics), assembly operations and inspections, becomes more and more...report 1995