[{"status":"public","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 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."}],"publication":"Proceedings of DATE’10","type":"conference","language":[{"iso":"eng"}],"keyword":["Operating systems","Real time systems","Timing","Hardware","Analytical models","Embedded software","Software systems","Processor scheduling","Software performance","Performance analysis"],"department":[{"_id":"672"}],"user_id":"5786","_id":"37009","citation":{"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>","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>.","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>.","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>.","short":"M.F.S. Oliveira, H. Zabel, W. Müller, in: Proceedings of DATE’10, IEEE, Dresden, 2010.","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} }","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>"},"year":"2010","place":"Dresden","doi":"10.1109/DATE.2010.5457130","conference":{"name":"2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)","location":"Dresden"},"title":"Assertion-Based Verification of RTOS Properties","author":[{"full_name":"Oliveira, Marcio F. S.","last_name":"Oliveira","first_name":"Marcio F. S."},{"full_name":"Zabel, Henning","last_name":"Zabel","first_name":"Henning"},{"full_name":"Müller, Wolfgang","id":"16243","last_name":"Müller","first_name":"Wolfgang"}],"date_created":"2023-01-17T09:15:10Z","publisher":"IEEE","date_updated":"2023-01-17T09:15:18Z"},{"user_id":"5786","department":[{"_id":"672"}],"_id":"39382","language":[{"iso":"eng"}],"keyword":["Standardization","Kernel","Permission","Formal verification","Logic functions","Documentation","Reasoning about programs","Specification languages","Formal specifications","Software systems"],"type":"conference","publication":"Proceedings of the ISSS02","status":"public","abstract":[{"text":"We present a rigorous but transparent semantics definition of the SpecC language that covers the execution of SpecC behaviors and their interaction with the kernel process. The semantics include wait, wait for, par, and try statements as they are introduced in SpecC. We present our definition in form of distributed abstract state machine (ASM) rules strictly following the lines of the SpecC Language Reference Manual. We mainly see our formal semantics in three application areas. First, it is a concise, unambiguous description for documentation and standardization. Second, it applies as a high-level, pseudo code-oriented specification for the implementation of a SpecC simulator. Finally, it is a first step for SpecC synthesis in order to identify similar concepts with other languages like VHDL and SystemC for the definition of common patterns and language subsets.","lang":"eng"}],"date_created":"2023-01-24T10:10:24Z","author":[{"full_name":"Müller, Wolfgang","id":"16243","last_name":"Müller","first_name":"Wolfgang"},{"first_name":"Rainer","last_name":"Dömer","full_name":"Dömer, Rainer"},{"full_name":"Gerstlauer, Andreas","last_name":"Gerstlauer","first_name":"Andreas"}],"date_updated":"2023-01-24T10:10:28Z","doi":"10.1145/581199.581234 ","title":"The Formal Execution Semantics of SpecC","publication_identifier":{"isbn":["1-58113-576-9"]},"citation":{"ama":"Müller W, Dömer R, Gerstlauer A. The Formal Execution Semantics of SpecC. In: <i>Proceedings of the ISSS02</i>. ; 2002. doi:<a href=\"https://doi.org/10.1145/581199.581234 \">10.1145/581199.581234 </a>","ieee":"W. Müller, R. Dömer, and A. Gerstlauer, “The Formal Execution Semantics of SpecC,” 2002, doi: <a href=\"https://doi.org/10.1145/581199.581234 \">10.1145/581199.581234 </a>.","chicago":"Müller, Wolfgang, Rainer Dömer, and Andreas Gerstlauer. “The Formal Execution Semantics of SpecC.” In <i>Proceedings of the ISSS02</i>. Nagoya, Japan, 2002. <a href=\"https://doi.org/10.1145/581199.581234 \">https://doi.org/10.1145/581199.581234 </a>.","apa":"Müller, W., Dömer, R., &#38; Gerstlauer, A. (2002). The Formal Execution Semantics of SpecC. <i>Proceedings of the ISSS02</i>. <a href=\"https://doi.org/10.1145/581199.581234 \">https://doi.org/10.1145/581199.581234 </a>","bibtex":"@inproceedings{Müller_Dömer_Gerstlauer_2002, place={Nagoya, Japan}, title={The Formal Execution Semantics of SpecC}, DOI={<a href=\"https://doi.org/10.1145/581199.581234 \">10.1145/581199.581234 </a>}, booktitle={Proceedings of the ISSS02}, author={Müller, Wolfgang and Dömer, Rainer and Gerstlauer, Andreas}, year={2002} }","mla":"Müller, Wolfgang, et al. “The Formal Execution Semantics of SpecC.” <i>Proceedings of the ISSS02</i>, 2002, doi:<a href=\"https://doi.org/10.1145/581199.581234 \">10.1145/581199.581234 </a>.","short":"W. Müller, R. Dömer, A. Gerstlauer, in: Proceedings of the ISSS02, Nagoya, Japan, 2002."},"place":"Nagoya, Japan","year":"2002"},{"date_updated":"2023-01-24T11:35:52Z","author":[{"full_name":"Dücker, M.","last_name":"Dücker","first_name":"M."},{"first_name":"Wolfgang","id":"16243","full_name":"Müller, Wolfgang","last_name":"Müller"},{"full_name":"Rubart, Jessica","last_name":"Rubart","first_name":"Jessica"}],"date_created":"2023-01-24T11:35:47Z","title":"Innovative Concepts for Configurating Shared Workspaces through Visual Programming","conference":{"name":"Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences. 1999. HICSS-32","location":"Maui, HI, USA "},"doi":"10.1109/HICSS.1999.773046","publication_identifier":{"isbn":["0-7695-0001-3"]},"year":"1999","place":"Maui, HI, USA ","citation":{"ieee":"M. Dücker, W. Müller, and J. Rubart, “Innovative Concepts for Configurating Shared Workspaces through Visual Programming,” presented at the Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences. 1999. HICSS-32, Maui, HI, USA , 1999, doi: <a href=\"https://doi.org/10.1109/HICSS.1999.773046\">10.1109/HICSS.1999.773046</a>.","chicago":"Dücker, M., Wolfgang Müller, and Jessica Rubart. “Innovative Concepts for Configurating Shared Workspaces through Visual Programming.” In <i> Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences</i>. Maui, HI, USA , 1999. <a href=\"https://doi.org/10.1109/HICSS.1999.773046\">https://doi.org/10.1109/HICSS.1999.773046</a>.","ama":"Dücker M, Müller W, Rubart J. Innovative Concepts for Configurating Shared Workspaces through Visual Programming. In: <i> Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences</i>. ; 1999. doi:<a href=\"https://doi.org/10.1109/HICSS.1999.773046\">10.1109/HICSS.1999.773046</a>","apa":"Dücker, M., Müller, W., &#38; Rubart, J. (1999). Innovative Concepts for Configurating Shared Workspaces through Visual Programming. <i> Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences</i>. Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences. 1999. HICSS-32, Maui, HI, USA . <a href=\"https://doi.org/10.1109/HICSS.1999.773046\">https://doi.org/10.1109/HICSS.1999.773046</a>","mla":"Dücker, M., et al. “Innovative Concepts for Configurating Shared Workspaces through Visual Programming.” <i> Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences</i>, 1999, doi:<a href=\"https://doi.org/10.1109/HICSS.1999.773046\">10.1109/HICSS.1999.773046</a>.","bibtex":"@inproceedings{Dücker_Müller_Rubart_1999, place={Maui, HI, USA }, title={Innovative Concepts for Configurating Shared Workspaces through Visual Programming}, DOI={<a href=\"https://doi.org/10.1109/HICSS.1999.773046\">10.1109/HICSS.1999.773046</a>}, booktitle={ Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences}, author={Dücker, M. and Müller, Wolfgang and Rubart, Jessica}, year={1999} }","short":"M. Dücker, W. Müller, J. Rubart, in:  Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences, Maui, HI, USA , 1999."},"_id":"39488","department":[{"_id":"672"}],"user_id":"5786","keyword":["Application software","Electronic mail","Computer networks","Collaborative work","Teleconferencing","Asynchronous communication","Software systems","Internet","Computer applications","Discussion forums"],"language":[{"iso":"eng"}],"publication":" Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences","type":"conference","abstract":[{"text":"CSCW systems like BSCW (Basic Support for Cooperative Work), HyperNews, and Lotus Notes have been successfully introduced to support the cooperation of geographically distributed work groups. Unfortunately, some of these software systems are not flexible enough to be customized easily to the requirements of an individual user. Most of the environments can only be configured by experts through complex programming. In this article we introduce VIP space, a shared workspace space in the sense of exchanging and processing shared objects between members of distributed work groups. VIP space can be easily adapted to the user's individual views and needs by means of a visual programming language. In VIP space, objects of the shared workspace are moved by drag and drop between task fields. Task fields are programmed by visual \"if-then\" rules applying a combination of icon- and form-based techniques. When a document represented by an icon is dropped on a task field its rules are checked and actions of the selected rules are excited. VIP space is finally demonstrated in an Internet course application.","lang":"eng"}],"status":"public"}]