[{"_id":"10779","user_id":"398","department":[{"_id":"78"}],"keyword":["embedded systems","field programmable gate arrays","operating systems (computers)","scheduling","μC/OS-II","FPGAs","OS foundation","SafeRTOS","Xenomai","chip utilization ration","complex time constraints","embedded systems","hard real-time hardware task allocation","hard real-time hardware task scheduling","hardware-software real-time operating systems","partially reconfigurable field-programmable gate arrays","resource constraints","safety-critical RTOS","Field programmable gate arrays","Hardware","Job shop scheduling","Real-time systems","Shape","Software"],"extern":"1","language":[{"iso":"eng"}],"type":"conference","publication":"25th International Conference on Field Programmable Logic and Applications (FPL)","status":"public","publisher":"Imperial College","date_updated":"2022-01-06T06:50:50Z","date_created":"2019-07-10T12:11:36Z","author":[{"full_name":"Guettatfi, Zakarya","last_name":"Guettatfi","first_name":"Zakarya"},{"full_name":"Kermia, Omar","last_name":"Kermia","first_name":"Omar"},{"first_name":"Abdelhakim","last_name":"Khouas","full_name":"Khouas, Abdelhakim"}],"title":"Over effective hard real-time hardware tasks scheduling and allocation","doi":"10.1109/FPL.2015.7293994","publication_identifier":{"issn":["1946-147X"]},"year":"2015","citation":{"apa":"Guettatfi, Z., Kermia, O., &#38; Khouas, A. (2015). Over effective hard real-time hardware tasks scheduling and allocation. In <i>25th International Conference on Field Programmable Logic and Applications (FPL)</i>. Imperial College. <a href=\"https://doi.org/10.1109/FPL.2015.7293994\">https://doi.org/10.1109/FPL.2015.7293994</a>","short":"Z. Guettatfi, O. Kermia, A. Khouas, in: 25th International Conference on Field Programmable Logic and Applications (FPL), Imperial College, 2015.","bibtex":"@inproceedings{Guettatfi_Kermia_Khouas_2015, title={Over effective hard real-time hardware tasks scheduling and allocation}, DOI={<a href=\"https://doi.org/10.1109/FPL.2015.7293994\">10.1109/FPL.2015.7293994</a>}, booktitle={25th International Conference on Field Programmable Logic and Applications (FPL)}, publisher={Imperial College}, author={Guettatfi, Zakarya and Kermia, Omar and Khouas, Abdelhakim}, year={2015} }","mla":"Guettatfi, Zakarya, et al. “Over Effective Hard Real-Time Hardware Tasks Scheduling and Allocation.” <i>25th International Conference on Field Programmable Logic and Applications (FPL)</i>, Imperial College, 2015, doi:<a href=\"https://doi.org/10.1109/FPL.2015.7293994\">10.1109/FPL.2015.7293994</a>.","ama":"Guettatfi Z, Kermia O, Khouas A. Over effective hard real-time hardware tasks scheduling and allocation. In: <i>25th International Conference on Field Programmable Logic and Applications (FPL)</i>. Imperial College; 2015. doi:<a href=\"https://doi.org/10.1109/FPL.2015.7293994\">10.1109/FPL.2015.7293994</a>","chicago":"Guettatfi, Zakarya, Omar Kermia, and Abdelhakim Khouas. “Over Effective Hard Real-Time Hardware Tasks Scheduling and Allocation.” In <i>25th International Conference on Field Programmable Logic and Applications (FPL)</i>. Imperial College, 2015. <a href=\"https://doi.org/10.1109/FPL.2015.7293994\">https://doi.org/10.1109/FPL.2015.7293994</a>.","ieee":"Z. Guettatfi, O. Kermia, and A. Khouas, “Over effective hard real-time hardware tasks scheduling and allocation,” in <i>25th International Conference on Field Programmable Logic and Applications (FPL)</i>, 2015."}},{"type":"conference","abstract":[{"lang":"eng","text":"In this paper we present an approach for the self reconfiguration of distributed micro-controllers for increased fault tolerance. Based on a modified distributed system topology utilizing a time division multiple access (TDMA) protocol, i.e., Flex Ray, we present a self-organized distributed coordinator concept which performs the self-reconfiguration in the case of node failures. We introduce a distributed coordinator, which utilizes redundant slots in the Flex Ray communication schedule and combines messages in configured protocol frames and slots to avoid a complete bus restart. As such, the self-reconfiguration is realized by means of predetermined information about resulting changes in the communication dependencies and (re-)assignments determined in the design phase. To retrieve the necessary information, we present an analytical approach, which determines a combined solution for the initial configuration and all possible reconfigurations for the remaining nodes of the Flex Ray network in case of node failures. Hence, through this method we can design self-reconfiguring network-based systems enabling the handling of node failures for an increased fault tolerance."}],"status":"public","_id":"36922","department":[{"_id":"672"}],"user_id":"5786","keyword":["Real time systems","Fault tolerant systems","Schedules","Protocols","Redundancy","Delay"],"language":[{"iso":"eng"}],"publication_identifier":{"eisbn":["978-0-7695-4669-8"]},"year":"2012","place":"Shenzhen, China ","citation":{"short":"K. Klobedanz, W. Müller, A. Rettberg, in: IEEE, Shenzhen, China , 2012.","bibtex":"@inproceedings{Klobedanz_Müller_Rettberg_2012, place={Shenzhen, China }, title={An Approach for Self-Reconfiguring and Fault-Tolerant Distributed Real-Time Systems}, DOI={<a href=\"https://doi.org/10.1109/ISORCW.2012.41\">10.1109/ISORCW.2012.41</a>}, publisher={IEEE}, author={Klobedanz, Kay and Müller, Wolfgang and Rettberg, Achim}, year={2012} }","mla":"Klobedanz, Kay, et al. <i>An Approach for Self-Reconfiguring and Fault-Tolerant Distributed Real-Time Systems</i>. IEEE, 2012, doi:<a href=\"https://doi.org/10.1109/ISORCW.2012.41\">10.1109/ISORCW.2012.41</a>.","ama":"Klobedanz K, Müller W, Rettberg A. An Approach for Self-Reconfiguring and Fault-Tolerant Distributed Real-Time Systems. In: IEEE; 2012. doi:<a href=\"https://doi.org/10.1109/ISORCW.2012.41\">10.1109/ISORCW.2012.41</a>","apa":"Klobedanz, K., Müller, W., &#38; Rettberg, A. (2012). <i>An Approach for Self-Reconfiguring and Fault-Tolerant Distributed Real-Time Systems</i>. IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops. <a href=\"https://doi.org/10.1109/ISORCW.2012.41\">https://doi.org/10.1109/ISORCW.2012.41</a>","chicago":"Klobedanz, Kay, Wolfgang Müller, and Achim Rettberg. “An Approach for Self-Reconfiguring and Fault-Tolerant Distributed Real-Time Systems.” Shenzhen, China : IEEE, 2012. <a href=\"https://doi.org/10.1109/ISORCW.2012.41\">https://doi.org/10.1109/ISORCW.2012.41</a>.","ieee":"K. Klobedanz, W. Müller, and A. Rettberg, “An Approach for Self-Reconfiguring and Fault-Tolerant Distributed Real-Time Systems,” presented at the IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2012, doi: <a href=\"https://doi.org/10.1109/ISORCW.2012.41\">10.1109/ISORCW.2012.41</a>."},"date_updated":"2023-01-16T12:25:33Z","publisher":"IEEE","author":[{"full_name":"Klobedanz, Kay","last_name":"Klobedanz","first_name":"Kay"},{"id":"16243","full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang"},{"first_name":"Achim","last_name":"Rettberg","full_name":"Rettberg, Achim"}],"date_created":"2023-01-16T12:23:50Z","title":"An Approach for Self-Reconfiguring and Fault-Tolerant Distributed Real-Time Systems","doi":"10.1109/ISORCW.2012.41","conference":{"name":"IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops"}},{"department":[{"_id":"672"}],"user_id":"5786","_id":"37007","language":[{"iso":"eng"}],"keyword":["Unified modeling language","Field programmable gate arrays","Bridges","Helium","Real time systems","Operating systems","Documentation","Application software","XML","Space exploration"],"publication":"Proceedings of DATE’10","type":"conference","status":"public","abstract":[{"lang":"eng","text":"UML is widely applied for the specification and modeling of software and some studies have demonstrated that it is applicable for HW/SW codesign. However, in this area there is still a big gap from UML modeling to SystemC-based verification and synthesis environments. This paper presents an efficient approach to bridge this gap in the context of Systems-on-a-Chip (SoC) design. We propose a framework for the seamless integration of a customized SysML entry with code generation for HW/SW cosimulation and high-level FPGA synthesis. For this, we extended the SysML UML profile by SystemC and synthesis capabilities. Two case studies demonstrate the applicability of our approach."}],"author":[{"first_name":"Fabian","last_name":"Mischkalla","full_name":"Mischkalla, Fabian"},{"first_name":"Da","last_name":"He","full_name":"He, Da"},{"full_name":"Müller, Wolfgang","id":"16243","last_name":"Müller","first_name":"Wolfgang"}],"date_created":"2023-01-17T09:12:35Z","date_updated":"2023-01-17T09:12:44Z","publisher":"IEEE","conference":{"location":"Dresden","name":"2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)"},"doi":"10.1109/DATE.2010.5456990","title":"Closing the Gap between UML-based Modeling and Simulation of Combined HW/SW Systems","publication_identifier":{"eisbn":["978-3-9810801-6-2"]},"citation":{"chicago":"Mischkalla, Fabian, Da He, and Wolfgang Müller. “Closing the Gap between UML-Based Modeling and Simulation of Combined HW/SW Systems.” In <i>Proceedings of DATE’10</i>. Dresden: IEEE, 2010. <a href=\"https://doi.org/10.1109/DATE.2010.5456990\">https://doi.org/10.1109/DATE.2010.5456990</a>.","ieee":"F. Mischkalla, D. He, and W. Müller, “Closing the Gap between UML-based Modeling and Simulation of Combined HW/SW Systems,” presented at the 2010 Design, Automation &#38; Test in Europe Conference &#38; Exhibition (DATE 2010), Dresden, 2010, doi: <a href=\"https://doi.org/10.1109/DATE.2010.5456990\">10.1109/DATE.2010.5456990</a>.","ama":"Mischkalla F, He D, Müller W. Closing the Gap between UML-based Modeling and Simulation of Combined HW/SW Systems. In: <i>Proceedings of DATE’10</i>. IEEE; 2010. doi:<a href=\"https://doi.org/10.1109/DATE.2010.5456990\">10.1109/DATE.2010.5456990</a>","apa":"Mischkalla, F., He, D., &#38; Müller, W. (2010). Closing the Gap between UML-based Modeling and Simulation of Combined HW/SW Systems. <i>Proceedings of DATE’10</i>. 2010 Design, Automation &#38; Test in Europe Conference &#38; Exhibition (DATE 2010), Dresden. <a href=\"https://doi.org/10.1109/DATE.2010.5456990\">https://doi.org/10.1109/DATE.2010.5456990</a>","short":"F. Mischkalla, D. He, W. Müller, in: Proceedings of DATE’10, IEEE, Dresden, 2010.","bibtex":"@inproceedings{Mischkalla_He_Müller_2010, place={Dresden}, title={Closing the Gap between UML-based Modeling and Simulation of Combined HW/SW Systems}, DOI={<a href=\"https://doi.org/10.1109/DATE.2010.5456990\">10.1109/DATE.2010.5456990</a>}, booktitle={Proceedings of DATE’10}, publisher={IEEE}, author={Mischkalla, Fabian and He, Da and Müller, Wolfgang}, year={2010} }","mla":"Mischkalla, Fabian, et al. “Closing the Gap between UML-Based Modeling and Simulation of Combined HW/SW Systems.” <i>Proceedings of DATE’10</i>, IEEE, 2010, doi:<a href=\"https://doi.org/10.1109/DATE.2010.5456990\">10.1109/DATE.2010.5456990</a>."},"year":"2010","place":"Dresden"},{"department":[{"_id":"672"}],"user_id":"5786","_id":"37009","language":[{"iso":"eng"}],"keyword":["Operating systems","Real time systems","Timing","Hardware","Analytical models","Embedded software","Software systems","Processor scheduling","Software performance","Performance analysis"],"publication":"Proceedings of DATE’10","type":"conference","status":"public","abstract":[{"text":"Today, mobile and embedded real time systems have to cope with the migration and allocation of multiple software tasks running on top of a real time operating system (RTOS) residing on one or several processors. For scaling of each task set and processor configuration, instruction set simulation and worst case timing analysis are typically applied. This paper presents a complementary approach for the verification of RTOS properties based on an abstract RTOS-Model in SystemC. We apply IEEE P1850 PSL for which we present an approach and first experiences for the assertion-based verification of RTOS properties.","lang":"eng"}],"date_created":"2023-01-17T09:15:10Z","author":[{"first_name":"Marcio F. S.","last_name":"Oliveira","full_name":"Oliveira, Marcio F. S."},{"first_name":"Henning","full_name":"Zabel, Henning","last_name":"Zabel"},{"full_name":"Müller, Wolfgang","id":"16243","last_name":"Müller","first_name":"Wolfgang"}],"date_updated":"2023-01-17T09:15:18Z","publisher":"IEEE","conference":{"name":"2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)","location":"Dresden"},"doi":"10.1109/DATE.2010.5457130","title":"Assertion-Based Verification of RTOS Properties","citation":{"apa":"Oliveira, M. F. S., Zabel, H., &#38; Müller, W. (2010). Assertion-Based Verification of RTOS Properties. <i>Proceedings of DATE’10</i>. 2010 Design, Automation &#38; Test in Europe Conference &#38; Exhibition (DATE 2010), Dresden. <a href=\"https://doi.org/10.1109/DATE.2010.5457130\">https://doi.org/10.1109/DATE.2010.5457130</a>","short":"M.F.S. Oliveira, H. Zabel, W. Müller, in: Proceedings of DATE’10, IEEE, Dresden, 2010.","mla":"Oliveira, Marcio F. S., et al. “Assertion-Based Verification of RTOS Properties.” <i>Proceedings of DATE’10</i>, IEEE, 2010, doi:<a href=\"https://doi.org/10.1109/DATE.2010.5457130\">10.1109/DATE.2010.5457130</a>.","bibtex":"@inproceedings{Oliveira_Zabel_Müller_2010, place={Dresden}, title={Assertion-Based Verification of RTOS Properties}, DOI={<a href=\"https://doi.org/10.1109/DATE.2010.5457130\">10.1109/DATE.2010.5457130</a>}, booktitle={Proceedings of DATE’10}, publisher={IEEE}, author={Oliveira, Marcio F. S. and Zabel, Henning and Müller, Wolfgang}, year={2010} }","ama":"Oliveira MFS, Zabel H, Müller W. Assertion-Based Verification of RTOS Properties. In: <i>Proceedings of DATE’10</i>. IEEE; 2010. doi:<a href=\"https://doi.org/10.1109/DATE.2010.5457130\">10.1109/DATE.2010.5457130</a>","ieee":"M. F. S. Oliveira, H. Zabel, and W. Müller, “Assertion-Based Verification of RTOS Properties,” presented at the 2010 Design, Automation &#38; Test in Europe Conference &#38; Exhibition (DATE 2010), Dresden, 2010, doi: <a href=\"https://doi.org/10.1109/DATE.2010.5457130\">10.1109/DATE.2010.5457130</a>.","chicago":"Oliveira, Marcio F. S., Henning Zabel, and Wolfgang Müller. “Assertion-Based Verification of RTOS Properties.” In <i>Proceedings of DATE’10</i>. Dresden: IEEE, 2010. <a href=\"https://doi.org/10.1109/DATE.2010.5457130\">https://doi.org/10.1109/DATE.2010.5457130</a>."},"year":"2010","place":"Dresden"},{"citation":{"ieee":"M. Becker, G. Di Guglielmo, F. Fummi, W. Müller, G. Pravadelli, and T. Xie, “RTOS-Aware Refinement for TLM2.0-based HW/SW Design,” presented at the Design, Automation &#38; Test in Europe Conference &#38; Exhibition (DATE 2010), Dresden, 2010, doi: <a href=\"https://doi.org/10.1109/DATE.2010.5456965\">10.1109/DATE.2010.5456965</a>.","chicago":"Becker, Markus, Giuseppe Di Guglielmo, Franco Fummi, Wolfgang Müller, Graziano Pravadelli, and Tao Xie. “RTOS-Aware Refinement for TLM2.0-Based HW/SW Design.” In <i>Proceedings of DATE’10</i>. Dresden: IEEE, 2010. <a href=\"https://doi.org/10.1109/DATE.2010.5456965\">https://doi.org/10.1109/DATE.2010.5456965</a>.","ama":"Becker M, Di Guglielmo G, Fummi F, Müller W, Pravadelli G, Xie T. RTOS-Aware Refinement for TLM2.0-based HW/SW Design. In: <i>Proceedings of DATE’10</i>. IEEE; 2010. doi:<a href=\"https://doi.org/10.1109/DATE.2010.5456965\">10.1109/DATE.2010.5456965</a>","bibtex":"@inproceedings{Becker_Di Guglielmo_Fummi_Müller_Pravadelli_Xie_2010, place={Dresden}, title={RTOS-Aware Refinement for TLM2.0-based HW/SW Design}, DOI={<a href=\"https://doi.org/10.1109/DATE.2010.5456965\">10.1109/DATE.2010.5456965</a>}, booktitle={Proceedings of DATE’10}, publisher={IEEE}, author={Becker, Markus and Di Guglielmo, Giuseppe and Fummi, Franco and Müller, Wolfgang and Pravadelli, Graziano and Xie, Tao}, year={2010} }","mla":"Becker, Markus, et al. “RTOS-Aware Refinement for TLM2.0-Based HW/SW Design.” <i>Proceedings of DATE’10</i>, IEEE, 2010, doi:<a href=\"https://doi.org/10.1109/DATE.2010.5456965\">10.1109/DATE.2010.5456965</a>.","short":"M. Becker, G. Di Guglielmo, F. Fummi, W. Müller, G. Pravadelli, T. Xie, in: Proceedings of DATE’10, IEEE, Dresden, 2010.","apa":"Becker, M., Di Guglielmo, G., Fummi, F., Müller, W., Pravadelli, G., &#38; Xie, T. (2010). RTOS-Aware Refinement for TLM2.0-based HW/SW Design. <i>Proceedings of DATE’10</i>. Design, Automation &#38; Test in Europe Conference &#38; Exhibition (DATE 2010), Dresden. <a href=\"https://doi.org/10.1109/DATE.2010.5456965\">https://doi.org/10.1109/DATE.2010.5456965</a>"},"year":"2010","place":"Dresden","publication_identifier":{"eisbn":["978-3-9810801-6-2"]},"conference":{"name":"Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)","location":"Dresden"},"doi":"10.1109/DATE.2010.5456965","title":"RTOS-Aware Refinement for TLM2.0-based HW/SW Design","date_created":"2023-01-17T10:47:29Z","author":[{"first_name":"Markus","full_name":"Becker, Markus","last_name":"Becker"},{"first_name":"Giuseppe","full_name":"Di Guglielmo, Giuseppe","last_name":"Di Guglielmo"},{"first_name":"Franco","full_name":"Fummi, Franco","last_name":"Fummi"},{"full_name":"Müller, Wolfgang","id":"16243","last_name":"Müller","first_name":"Wolfgang"},{"full_name":"Pravadelli, Graziano","last_name":"Pravadelli","first_name":"Graziano"},{"first_name":"Tao","full_name":"Xie, Tao","last_name":"Xie"}],"publisher":"IEEE","date_updated":"2023-01-17T10:47:37Z","status":"public","abstract":[{"lang":"eng","text":"Refinement of untimed TLM models into a timed HW/SW platform is a step by step design process which is a trade-off between timing accuracy of the used models and correct estimation of the final timing performance. The use of an RTOS on the target platform is mandatory in the case real-time properties must be guaranteed. Thus, the question is when the RTOS must be introduced in this step by step refinement process. This paper proposes a four-level RTOS-aware refinement methodology that, starting from an untimed TLM SystemC description of the whole system, progressively introduce HW/SW partitioning, timing, device driver and RTOS functionalities, till to obtain an accurate model of the final platform, where SW tasks run upon an RTOS hosted by QEMU and HW components are modeled by cycle accurate TLM descriptions. Each refinement level allows the designer to estimate more and more accurate timing properties, thus anticipating design decisions without being constrained to leave timing analysis to the final step of the refinement. The effectiveness of the methodology has been evaluated in the design of two complex platforms."}],"publication":"Proceedings of DATE’10","type":"conference","language":[{"iso":"eng"}],"keyword":["Timing","Hardware","Operating systems","Process design","Accuracy","Standards development","Context modeling","Real time systems","Communication channels","Microprogramming"],"department":[{"_id":"672"}],"user_id":"5786","_id":"37040"},{"keyword":["Hardware","Microprogramming","Application software","Timing","Protocols","Virtual prototyping","Real time systems","Sampling methods","Operating systems","Emulation"],"language":[{"iso":"eng"}],"_id":"37053","user_id":"5786","department":[{"_id":"672"}],"abstract":[{"text":"Seamless HW/SW codesign flows support early verification of hardware and Hardware-dependent Software (HdS) like drivers, operating systems, and firmware. For early estimation and verification, the application of SystemC in combination with Instruction Set Simulators and Software Emulators like QEMU is widely accepted. In this article, we present an advanced design flow for HW, (RT)OS and HdS refinement and verification with focus on the transition from abstract RTOS verification to full system RTOS/HdS emulation. In the context of assertion-based verification, we introduce a set of generic real-time properties which can be reused and verified at different abstraction levels and discuss their application. The properties are presented by the means of IEEE standard PSL assertions which are applied for mixed SystemC/HdS models.","lang":"eng"}],"status":"public","type":"conference","publication":"Proceedings of HLDVT2010","title":"Verification of Real-Time Properties for Hardware-Dependant Software","conference":{"name":"IEEE International High Level Design Validation and Test Workshop (HLDVT)","location":"Anaheim, FL, USA"},"publisher":"IEEE","date_updated":"2023-01-17T11:28:30Z","date_created":"2023-01-17T11:28:26Z","author":[{"full_name":"Müller, Wolfgang","id":"16243","last_name":"Müller","first_name":"Wolfgang"},{"full_name":"da S. Oliveira, Marcio F.","last_name":"da S. Oliveira","first_name":"Marcio F."},{"last_name":"Zabel","full_name":"Zabel, Henning","first_name":"Henning"},{"first_name":"Markus","last_name":"Becker","full_name":"Becker, Markus"}],"year":"2010","citation":{"ama":"Müller W, da S. Oliveira MF, Zabel H, Becker M. Verification of Real-Time Properties for Hardware-Dependant Software. In: <i>Proceedings of HLDVT2010</i>. IEEE; 2010.","chicago":"Müller, Wolfgang, Marcio F. da S. Oliveira, Henning Zabel, and Markus Becker. “Verification of Real-Time Properties for Hardware-Dependant Software.” In <i>Proceedings of HLDVT2010</i>. IEEE, 2010.","ieee":"W. Müller, M. F. da S. Oliveira, H. Zabel, and M. Becker, “Verification of Real-Time Properties for Hardware-Dependant Software,” presented at the IEEE International High Level Design Validation and Test Workshop (HLDVT), Anaheim, FL, USA, 2010.","apa":"Müller, W., da S. Oliveira, M. F., Zabel, H., &#38; Becker, M. (2010). Verification of Real-Time Properties for Hardware-Dependant Software. <i>Proceedings of HLDVT2010</i>. IEEE International High Level Design Validation and Test Workshop (HLDVT), Anaheim, FL, USA.","mla":"Müller, Wolfgang, et al. “Verification of Real-Time Properties for Hardware-Dependant Software.” <i>Proceedings of HLDVT2010</i>, IEEE, 2010.","short":"W. Müller, M.F. da S. Oliveira, H. Zabel, M. Becker, in: Proceedings of HLDVT2010, IEEE, 2010.","bibtex":"@inproceedings{Müller_da S. Oliveira_Zabel_Becker_2010, title={Verification of Real-Time Properties for Hardware-Dependant Software}, booktitle={Proceedings of HLDVT2010}, publisher={IEEE}, author={Müller, Wolfgang and da S. Oliveira, Marcio F. and Zabel, Henning and Becker, Markus}, year={2010} }"},"publication_identifier":{"eisbn":["978-1-4244-7806-4"]}},{"conference":{"location":"Dresden","name":"Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)"},"doi":"10.1109/DATE.2010.5456965","title":"RTOS-Aware Refinement for TLM2.0-based HW/SW Design","author":[{"last_name":"Becker","full_name":"Becker, Markus","first_name":"Markus"},{"last_name":"Di Guglielmo","full_name":"Di Guglielmo, Giuseppe","first_name":"Giuseppe"},{"full_name":"Fummi, Franco","last_name":"Fummi","first_name":"Franco"},{"first_name":"Wolfgang","last_name":"Müller","id":"16243","full_name":"Müller, Wolfgang"},{"first_name":"Graziano","full_name":"Pravadelli, Graziano","last_name":"Pravadelli"},{"last_name":"Xie","full_name":"Xie, Tao","first_name":"Tao"}],"date_created":"2023-01-17T10:44:46Z","date_updated":"2025-03-12T16:39:17Z","publisher":"IEEE","citation":{"apa":"Becker, M., Di Guglielmo, G., Fummi, F., Müller, W., Pravadelli, G., &#38; Xie, T. (2010). RTOS-Aware Refinement for TLM2.0-based HW/SW Design. <i>Proceedings of DATE’10</i>. Design, Automation &#38; Test in Europe Conference &#38; Exhibition (DATE 2010), Dresden. <a href=\"https://doi.org/10.1109/DATE.2010.5456965\">https://doi.org/10.1109/DATE.2010.5456965</a>","bibtex":"@inproceedings{Becker_Di Guglielmo_Fummi_Müller_Pravadelli_Xie_2010, place={Dresden}, title={RTOS-Aware Refinement for TLM2.0-based HW/SW Design}, DOI={<a href=\"https://doi.org/10.1109/DATE.2010.5456965\">10.1109/DATE.2010.5456965</a>}, booktitle={Proceedings of DATE’10}, publisher={IEEE}, author={Becker, Markus and Di Guglielmo, Giuseppe and Fummi, Franco and Müller, Wolfgang and Pravadelli, Graziano and Xie, Tao}, year={2010} }","mla":"Becker, Markus, et al. “RTOS-Aware Refinement for TLM2.0-Based HW/SW Design.” <i>Proceedings of DATE’10</i>, IEEE, 2010, doi:<a href=\"https://doi.org/10.1109/DATE.2010.5456965\">10.1109/DATE.2010.5456965</a>.","short":"M. Becker, G. Di Guglielmo, F. Fummi, W. Müller, G. Pravadelli, T. Xie, in: Proceedings of DATE’10, IEEE, Dresden, 2010.","ama":"Becker M, Di Guglielmo G, Fummi F, Müller W, Pravadelli G, Xie T. RTOS-Aware Refinement for TLM2.0-based HW/SW Design. In: <i>Proceedings of DATE’10</i>. IEEE; 2010. doi:<a href=\"https://doi.org/10.1109/DATE.2010.5456965\">10.1109/DATE.2010.5456965</a>","chicago":"Becker, Markus, Giuseppe Di Guglielmo, Franco Fummi, Wolfgang Müller, Graziano Pravadelli, and Tao Xie. “RTOS-Aware Refinement for TLM2.0-Based HW/SW Design.” In <i>Proceedings of DATE’10</i>. Dresden: IEEE, 2010. <a href=\"https://doi.org/10.1109/DATE.2010.5456965\">https://doi.org/10.1109/DATE.2010.5456965</a>.","ieee":"M. Becker, G. Di Guglielmo, F. Fummi, W. Müller, G. Pravadelli, and T. Xie, “RTOS-Aware Refinement for TLM2.0-based HW/SW Design,” presented at the Design, Automation &#38; Test in Europe Conference &#38; Exhibition (DATE 2010), Dresden, 2010, doi: <a href=\"https://doi.org/10.1109/DATE.2010.5456965\">10.1109/DATE.2010.5456965</a>."},"place":"Dresden","year":"2010","publication_identifier":{"eisbn":["978-3-9810801-6-2"]},"language":[{"iso":"eng"}],"keyword":["Timing","Hardware","Operating systems","Process design","Accuracy","Standards development","Context modeling","Real time systems","Communication channels","Microprogramming"],"user_id":"5786","_id":"37039","status":"public","abstract":[{"lang":"eng","text":"Refinement of untimed TLM models into a timed HW/SW platform is a step by step design process which is a trade-off between timing accuracy of the used models and correct estimation of the final timing performance. The use of an RTOS on the target platform is mandatory in the case real-time properties must be guaranteed. Thus, the question is when the RTOS must be introduced in this step by step refinement process. This paper proposes a four-level RTOS-aware refinement methodology that, starting from an untimed TLM SystemC description of the whole system, progressively introduce HW/SW partitioning, timing, device driver and RTOS functionalities, till to obtain an accurate model of the final platform, where SW tasks run upon an RTOS hosted by QEMU and HW components are modeled by cycle accurate TLM descriptions. Each refinement level allows the designer to estimate more and more accurate timing properties, thus anticipating design decisions without being constrained to leave timing analysis to the final step of the refinement. The effectiveness of the methodology has been evaluated in the design of two complex platforms."}],"type":"conference","publication":"Proceedings of DATE’10"},{"keyword":["Timing","Analytical models","Clocks","Performance analysis","Scheduling","Operating systems","Delay","Real time systems","Application software","Context modeling"],"language":[{"iso":"eng"}],"_id":"37066","user_id":"5786","department":[{"_id":"672"}],"abstract":[{"lang":"eng","text":"Today, mobile and embedded real-time systems have to cope with the migration and allocation of multiple software tasks running on top of a real-time operating system (RTOS) residing on one or multiple system processors. Abstract RTOS simulations and timing analysis applies for fast and early estimation to configure it towards the individual needs of the application and environment. In this context, a high accuracy of the simulation compared to an instruction set simulation (ISS) is of key importance. In this paper, we investigate the accuracy of abstract RTOS simulation and compare it to ISS and the behavior of the physical system. We show that we can reach an increased accuracy of the simulation when we inject noise into the time model. Our results indicate that it is sufficient to inject uniformly distributed random time values to the RTOS real-time clock."}],"status":"public","type":"conference","publication":"Proceedings of DATE'09","title":"Increased Accuracy through Noise Injection in Abstract RTOS Simulation","conference":{"name":"Design, Automation & Test in Europe Conference & Exhibition"},"doi":"10.1109/DATE.2009.5090925","date_updated":"2023-01-17T11:51:48Z","author":[{"last_name":"Zabel","full_name":"Zabel, Henning","first_name":"Henning"},{"id":"16243","full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang"}],"date_created":"2023-01-17T11:51:44Z","year":"2009","place":"Nice, France","citation":{"bibtex":"@inproceedings{Zabel_Müller_2009, place={Nice, France}, title={Increased Accuracy through Noise Injection in Abstract RTOS Simulation}, DOI={<a href=\"https://doi.org/10.1109/DATE.2009.5090925\">10.1109/DATE.2009.5090925</a>}, booktitle={Proceedings of DATE’09}, author={Zabel, Henning and Müller, Wolfgang}, year={2009} }","mla":"Zabel, Henning, and Wolfgang Müller. “Increased Accuracy through Noise Injection in Abstract RTOS Simulation.” <i>Proceedings of DATE’09</i>, 2009, doi:<a href=\"https://doi.org/10.1109/DATE.2009.5090925\">10.1109/DATE.2009.5090925</a>.","short":"H. Zabel, W. Müller, in: Proceedings of DATE’09, Nice, France, 2009.","apa":"Zabel, H., &#38; Müller, W. (2009). Increased Accuracy through Noise Injection in Abstract RTOS Simulation. <i>Proceedings of DATE’09</i>. Design, Automation &#38; Test in Europe Conference &#38; Exhibition. <a href=\"https://doi.org/10.1109/DATE.2009.5090925\">https://doi.org/10.1109/DATE.2009.5090925</a>","ieee":"H. Zabel and W. Müller, “Increased Accuracy through Noise Injection in Abstract RTOS Simulation,” presented at the Design, Automation &#38; Test in Europe Conference &#38; Exhibition, 2009, doi: <a href=\"https://doi.org/10.1109/DATE.2009.5090925\">10.1109/DATE.2009.5090925</a>.","chicago":"Zabel, Henning, and Wolfgang Müller. “Increased Accuracy through Noise Injection in Abstract RTOS Simulation.” In <i>Proceedings of DATE’09</i>. Nice, France, 2009. <a href=\"https://doi.org/10.1109/DATE.2009.5090925\">https://doi.org/10.1109/DATE.2009.5090925</a>.","ama":"Zabel H, Müller W. Increased Accuracy through Noise Injection in Abstract RTOS Simulation. In: <i>Proceedings of DATE’09</i>. ; 2009. doi:<a href=\"https://doi.org/10.1109/DATE.2009.5090925\">10.1109/DATE.2009.5090925</a>"},"publication_identifier":{"isbn":["978-1-4244-3781-8"]}},{"publication":"Proceedings of DATE’05","type":"conference","status":"public","abstract":[{"lang":"eng","text":"UML 2.0 provides a rich set of diagrams for systems documentation and specification. Much effort has been undertaken to employ different aspects of UML for multiple domains, mainly in the area of software systems. Considering the area of electronic design automation, however, we currently see only very few approaches which investigate UML for hardware design and hardware/software co-design. We present an approach for executable UML closing the gap from system specification to its model-based execution on reconfigurable hardware. For this purpose, we present our abstract execution platform (AEP), which is based on a virtual machine running an executable UML subset for embedded software and reconfigurable hardware. This subset combines UML 2.0 classes, state-machines and sequence diagrams for a complete system specification. We describe how these binary encoded UML specifications can be directly executed and give the implementation of such a virtual machine on a Virtex II FPGA. Finally, we present evaluation results comparing the AEP implementation with C code on a C167 microcontroller."}],"department":[{"_id":"672"}],"user_id":"5786","_id":"39029","language":[{"iso":"eng"}],"keyword":["Hardware","Unified modeling language","Virtual machining","Object oriented modeling","Field programmable gate arrays","Java","Microcontrollers","Embedded software","Real time systems","Documentation"],"publication_identifier":{"isbn":["0-7695-2288-2"]},"citation":{"chicago":"Schattkowsky, Tim, Wolfgang Müller, and Achim Rettberg. “A Model-Based Approach for Executable Specification on Reconfigurable Hardware.” In <i>Proceedings of DATE’05</i>. Munich, Germany : IEEE, 2005. <a href=\"https://doi.org/10.1109/DATE.2005.20\">https://doi.org/10.1109/DATE.2005.20</a>.","ieee":"T. Schattkowsky, W. Müller, and A. Rettberg, “A Model-Based Approach for Executable Specification on Reconfigurable Hardware,” 2005, doi: <a href=\"https://doi.org/10.1109/DATE.2005.20\">10.1109/DATE.2005.20</a>.","ama":"Schattkowsky T, Müller W, Rettberg A. A Model-Based Approach for Executable Specification on Reconfigurable Hardware. In: <i>Proceedings of DATE’05</i>. IEEE; 2005. doi:<a href=\"https://doi.org/10.1109/DATE.2005.20\">10.1109/DATE.2005.20</a>","apa":"Schattkowsky, T., Müller, W., &#38; Rettberg, A. (2005). A Model-Based Approach for Executable Specification on Reconfigurable Hardware. <i>Proceedings of DATE’05</i>. <a href=\"https://doi.org/10.1109/DATE.2005.20\">https://doi.org/10.1109/DATE.2005.20</a>","short":"T. Schattkowsky, W. Müller, A. Rettberg, in: Proceedings of DATE’05, IEEE, Munich, Germany , 2005.","bibtex":"@inproceedings{Schattkowsky_Müller_Rettberg_2005, place={Munich, Germany }, title={A Model-Based Approach for Executable Specification on Reconfigurable Hardware}, DOI={<a href=\"https://doi.org/10.1109/DATE.2005.20\">10.1109/DATE.2005.20</a>}, booktitle={Proceedings of DATE’05}, publisher={IEEE}, author={Schattkowsky, Tim and Müller, Wolfgang and Rettberg, Achim}, year={2005} }","mla":"Schattkowsky, Tim, et al. “A Model-Based Approach for Executable Specification on Reconfigurable Hardware.” <i>Proceedings of DATE’05</i>, IEEE, 2005, doi:<a href=\"https://doi.org/10.1109/DATE.2005.20\">10.1109/DATE.2005.20</a>."},"place":"Munich, Germany ","year":"2005","date_created":"2023-01-24T08:10:40Z","author":[{"first_name":"Tim","full_name":"Schattkowsky, Tim","last_name":"Schattkowsky"},{"last_name":"Müller","id":"16243","full_name":"Müller, Wolfgang","first_name":"Wolfgang"},{"last_name":"Rettberg","full_name":"Rettberg, Achim","first_name":"Achim"}],"date_updated":"2023-01-24T08:10:44Z","publisher":"IEEE","doi":"10.1109/DATE.2005.20","title":"A Model-Based Approach for Executable Specification on Reconfigurable Hardware"},{"publication_identifier":{"isbn":["0-7695-2222-X"]},"citation":{"apa":"Flake, S., &#38; Müller, W. (2004). Past- and Future-Oriented Time-Bound Temporal Properties with OCL. <i>Proceedings of SEFM´04</i>.  Proceedings of the Second International Conference on Software Engineering and Formal Methods. <a href=\"https://doi.org/10.1109/SEFM.2004.1347516\">https://doi.org/10.1109/SEFM.2004.1347516</a>","bibtex":"@inproceedings{Flake_Müller_2004, place={Beijing, China}, title={Past- and Future-Oriented Time-Bound Temporal Properties with OCL}, DOI={<a href=\"https://doi.org/10.1109/SEFM.2004.1347516\">10.1109/SEFM.2004.1347516</a>}, booktitle={Proceedings of SEFM´04}, publisher={IEEE}, author={Flake, Stephan and Müller, Wolfgang}, year={2004} }","short":"S. Flake, W. Müller, in: Proceedings of SEFM´04, IEEE, Beijing, China, 2004.","mla":"Flake, Stephan, and Wolfgang Müller. “Past- and Future-Oriented Time-Bound Temporal Properties with OCL.” <i>Proceedings of SEFM´04</i>, IEEE, 2004, doi:<a href=\"https://doi.org/10.1109/SEFM.2004.1347516\">10.1109/SEFM.2004.1347516</a>.","ama":"Flake S, Müller W. Past- and Future-Oriented Time-Bound Temporal Properties with OCL. In: <i>Proceedings of SEFM´04</i>. IEEE; 2004. doi:<a href=\"https://doi.org/10.1109/SEFM.2004.1347516\">10.1109/SEFM.2004.1347516</a>","ieee":"S. Flake and W. Müller, “Past- and Future-Oriented Time-Bound Temporal Properties with OCL,” presented at the  Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004, doi: <a href=\"https://doi.org/10.1109/SEFM.2004.1347516\">10.1109/SEFM.2004.1347516</a>.","chicago":"Flake, Stephan, and Wolfgang Müller. “Past- and Future-Oriented Time-Bound Temporal Properties with OCL.” In <i>Proceedings of SEFM´04</i>. Beijing, China: IEEE, 2004. <a href=\"https://doi.org/10.1109/SEFM.2004.1347516\">https://doi.org/10.1109/SEFM.2004.1347516</a>."},"year":"2004","place":"Beijing, China","date_created":"2023-01-24T09:03:36Z","author":[{"first_name":"Stephan","full_name":"Flake, Stephan","last_name":"Flake"},{"id":"16243","full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang"}],"date_updated":"2023-01-24T09:03:41Z","publisher":"IEEE","doi":"10.1109/SEFM.2004.1347516","conference":{"name":" Proceedings of the Second International Conference on Software Engineering and Formal Methods"},"title":"Past- and Future-Oriented Time-Bound Temporal Properties with OCL","publication":"Proceedings of SEFM´04","type":"conference","status":"public","abstract":[{"text":"We present the syntax and semantics of a past- and future-oriented temporal extension of the Object Constraint Language (OCL). Our extension supports designers to express time-bounded properties over a state-oriented UML model of a system under development. The semantics is formally defined over the system states of a mathematical object model. Additionally, we present a mapping to Clocked Linear Temporal Logic (Clocked LTL) formulae, which is the basis for further application in verification with model checking. We demonstrate the applicability of the approach by the example of a buffer specification in the context of a production system.","lang":"eng"}],"department":[{"_id":"672"}],"user_id":"5786","_id":"39069","language":[{"iso":"eng"}],"keyword":["Unified modeling language","Logic","Clocks","Boolean functions","Application software","Time factors","Real time systems","Formal verification","Buffer storage","Software packages"]},{"conference":{"location":"Big Island, HI, USA ","name":"Proceedings of the 35th Annual Hawaii International Conference on System Sciences"},"doi":"10.1109/HICSS.2002.994469","title":"Specification of Real-Time Properties for UML Models","date_created":"2023-01-24T10:22:12Z","author":[{"first_name":"Stephan","full_name":"Flake, Stephan","last_name":"Flake"},{"last_name":"Müller","full_name":"Müller, Wolfgang","id":"16243","first_name":"Wolfgang"}],"date_updated":"2023-01-24T10:22:16Z","citation":{"short":"S. Flake, W. Müller, in: Proceedings of HICSS-35, Big Island, HI, USA , 2002.","bibtex":"@inproceedings{Flake_Müller_2002, place={Big Island, HI, USA }, title={Specification of Real-Time Properties for UML Models}, DOI={<a href=\"https://doi.org/10.1109/HICSS.2002.994469\">10.1109/HICSS.2002.994469</a>}, booktitle={Proceedings of HICSS-35}, author={Flake, Stephan and Müller, Wolfgang}, year={2002} }","mla":"Flake, Stephan, and Wolfgang Müller. “Specification of Real-Time Properties for UML Models.” <i>Proceedings of HICSS-35</i>, 2002, doi:<a href=\"https://doi.org/10.1109/HICSS.2002.994469\">10.1109/HICSS.2002.994469</a>.","apa":"Flake, S., &#38; Müller, W. (2002). Specification of Real-Time Properties for UML Models. <i>Proceedings of HICSS-35</i>. Proceedings of the 35th Annual Hawaii International Conference on System Sciences, Big Island, HI, USA . <a href=\"https://doi.org/10.1109/HICSS.2002.994469\">https://doi.org/10.1109/HICSS.2002.994469</a>","ama":"Flake S, Müller W. Specification of Real-Time Properties for UML Models. In: <i>Proceedings of HICSS-35</i>. ; 2002. doi:<a href=\"https://doi.org/10.1109/HICSS.2002.994469\">10.1109/HICSS.2002.994469</a>","chicago":"Flake, Stephan, and Wolfgang Müller. “Specification of Real-Time Properties for UML Models.” In <i>Proceedings of HICSS-35</i>. Big Island, HI, USA , 2002. <a href=\"https://doi.org/10.1109/HICSS.2002.994469\">https://doi.org/10.1109/HICSS.2002.994469</a>.","ieee":"S. Flake and W. Müller, “Specification of Real-Time Properties for UML Models,” presented at the Proceedings of the 35th Annual Hawaii International Conference on System Sciences, Big Island, HI, USA , 2002, doi: <a href=\"https://doi.org/10.1109/HICSS.2002.994469\">10.1109/HICSS.2002.994469</a>."},"year":"2002","place":"Big Island, HI, USA ","publication_identifier":{"isbn":["0-7695-1435-9"]},"language":[{"iso":"eng"}],"keyword":["Unified modeling language","Logic","Formal verification","Real time systems","Programming profession","Vehicle dynamics","Software standards","Flexible manufacturing systems","Electronics industry","Protocols"],"department":[{"_id":"672"}],"user_id":"5786","_id":"39403","status":"public","abstract":[{"text":"The Unified Modeling Language (UML) has received wide acceptance as a standard language in the field of software specification by means of different diagram types. In a recent version of UML, the textual Object Constraint Language (OCL) was introduced to support specification of constraints for UML models. But OCL currently does not provide sufficient means to specify constraints over the dynamic behavior of a model. This article presents an OCL extension that is consistent with current OCL and enables modelers to specify state-related time-bounded constraints. We consider the case study of a flexible manufacturing system and identify typical real-time constraints. The constraints are presented in our temporal OCL extension as well as in temporal logic formulae. For general application, we define a semantics of our OCL extension by means of a time-bounded temporal logic based on Computational Tree Logic (CTL).","lang":"eng"}],"publication":"Proceedings of HICSS-35","type":"conference"},{"doi":"10.1109/ECBS.1997.581876","conference":{"location":"Monterey, CA, USA "},"title":"A Generic System for Interactive Real--Time Animation","author":[{"first_name":"M.","full_name":"Dücker, M.","last_name":"Dücker"},{"full_name":"Lehrenfeld, Georg","last_name":"Lehrenfeld","first_name":"Georg"},{"first_name":"Wolfgang","last_name":"Müller","full_name":"Müller, Wolfgang","id":"16243"},{"last_name":"Tahedl","full_name":"Tahedl, C.","first_name":"C."}],"date_created":"2023-01-24T11:46:23Z","date_updated":"2023-01-24T11:46:28Z","citation":{"chicago":"Dücker, M., Georg Lehrenfeld, Wolfgang Müller, and C. Tahedl. “A Generic System for Interactive Real--Time Animation.” In <i> Proceedings International Conference and Workshop on Engineering of Computer-Based Systems</i>. Monterey, CA, USA , 1997. <a href=\"https://doi.org/10.1109/ECBS.1997.581876\">https://doi.org/10.1109/ECBS.1997.581876</a>.","ieee":"M. Dücker, G. Lehrenfeld, W. Müller, and C. Tahedl, “A Generic System for Interactive Real--Time Animation,” Monterey, CA, USA , 1997, doi: <a href=\"https://doi.org/10.1109/ECBS.1997.581876\">10.1109/ECBS.1997.581876</a>.","ama":"Dücker M, Lehrenfeld G, Müller W, Tahedl C. A Generic System for Interactive Real--Time Animation. In: <i> Proceedings International Conference and Workshop on Engineering of Computer-Based Systems</i>. ; 1997. doi:<a href=\"https://doi.org/10.1109/ECBS.1997.581876\">10.1109/ECBS.1997.581876</a>","apa":"Dücker, M., Lehrenfeld, G., Müller, W., &#38; Tahedl, C. (1997). A Generic System for Interactive Real--Time Animation. <i> Proceedings International Conference and Workshop on Engineering of Computer-Based Systems</i>. <a href=\"https://doi.org/10.1109/ECBS.1997.581876\">https://doi.org/10.1109/ECBS.1997.581876</a>","short":"M. Dücker, G. Lehrenfeld, W. Müller, C. Tahedl, in:  Proceedings International Conference and Workshop on Engineering of Computer-Based Systems, Monterey, CA, USA , 1997.","bibtex":"@inproceedings{Dücker_Lehrenfeld_Müller_Tahedl_1997, place={Monterey, CA, USA }, title={A Generic System for Interactive Real--Time Animation}, DOI={<a href=\"https://doi.org/10.1109/ECBS.1997.581876\">10.1109/ECBS.1997.581876</a>}, booktitle={ Proceedings International Conference and Workshop on Engineering of Computer-Based Systems}, author={Dücker, M. and Lehrenfeld, Georg and Müller, Wolfgang and Tahedl, C.}, year={1997} }","mla":"Dücker, M., et al. “A Generic System for Interactive Real--Time Animation.” <i> Proceedings International Conference and Workshop on Engineering of Computer-Based Systems</i>, 1997, doi:<a href=\"https://doi.org/10.1109/ECBS.1997.581876\">10.1109/ECBS.1997.581876</a>."},"year":"1997","place":"Monterey, CA, USA ","publication_identifier":{"isbn":["0-8186-7889-5"]},"language":[{"iso":"eng"}],"keyword":["Real time systems","Animation","Debugging","Automation","Computer languages","Timing","Environmental management","Programming environments","Visualization","Multimedia systems"],"user_id":"5786","department":[{"_id":"672"}],"_id":"39502","status":"public","abstract":[{"lang":"eng","text":"The authors present a new approach to an interactive design and analysis environment for visual languages. The main components, i.e., editor animator and interpreter are introduced. Their interactions are being investigated emphasizing the interpreter-animator interaction and defining an interface supporting different levels of automation. The interpreter performs the executions on a logical level and triggers the animator. The interactive animation provides a very high degree of liveness since it is based on the tight integration of the animator and editor. The proposed architecture permits the distributed implementation of a system for real-time animation. Their concepts are validated by the implementation of a debugging environment for the complete visual programming language Pictorial Janus."}],"type":"conference","publication":" Proceedings International Conference and Workshop on Engineering of Computer-Based Systems"}]