[{"date_created":"2023-01-16T11:57:08Z","place":"Berlin","department":[{"_id":"58"}],"keyword":["Computational modeling","Finite element analysis","Prototypes","Abstracts","Software","Fault tolerance","Fault tolerant systems"],"type":"conference","citation":{"ama":"Becker M, Kuznik C, Müller W. Fault Effect Modeling in a Heterogeneous SystemC Based Virtual Platform Framework for Cyber Physical Systems. In: IEEE; 2014. doi:<a href=\"https://doi.org/10.1109/ICCPS.2014.6843726\">10.1109/ICCPS.2014.6843726</a>","bibtex":"@inproceedings{Becker_Kuznik_Müller_2014, place={Berlin}, title={Fault Effect Modeling in a Heterogeneous SystemC Based Virtual Platform Framework for Cyber Physical Systems}, DOI={<a href=\"https://doi.org/10.1109/ICCPS.2014.6843726\">10.1109/ICCPS.2014.6843726</a>}, publisher={IEEE}, author={Becker, Markus and Kuznik, Christoph and Müller, Wolfgang}, year={2014} }","mla":"Becker, Markus, et al. <i>Fault Effect Modeling in a Heterogeneous SystemC Based Virtual Platform Framework for Cyber Physical Systems</i>. IEEE, 2014, doi:<a href=\"https://doi.org/10.1109/ICCPS.2014.6843726\">10.1109/ICCPS.2014.6843726</a>.","short":"M. Becker, C. Kuznik, W. Müller, in: IEEE, Berlin, 2014.","chicago":"Becker, Markus, Christoph Kuznik, and Wolfgang Müller. “Fault Effect Modeling in a Heterogeneous SystemC Based Virtual Platform Framework for Cyber Physical Systems.” Berlin: IEEE, 2014. <a href=\"https://doi.org/10.1109/ICCPS.2014.6843726\">https://doi.org/10.1109/ICCPS.2014.6843726</a>.","apa":"Becker, M., Kuznik, C., &#38; Müller, W. (2014). <i>Fault Effect Modeling in a Heterogeneous SystemC Based Virtual Platform Framework for Cyber Physical Systems</i>. ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), Berlin. <a href=\"https://doi.org/10.1109/ICCPS.2014.6843726\">https://doi.org/10.1109/ICCPS.2014.6843726</a>","ieee":"M. Becker, C. Kuznik, and W. Müller, “Fault Effect Modeling in a Heterogeneous SystemC Based Virtual Platform Framework for Cyber Physical Systems,” presented at the ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), Berlin, 2014, doi: <a href=\"https://doi.org/10.1109/ICCPS.2014.6843726\">10.1109/ICCPS.2014.6843726</a>."},"abstract":[{"text":"This paper presents an advanced eight levels spanning SystemC based virtual platform methodology and framework - referred to as HeroeS 3 - providing smooth application to platform mapping and continuous co-refinement of a virtual prototype with its physical environment model. For heterogeneity support, various SystemC extensions are combined covering continuous/discrete models of computation and different communication abstractions, such as analog mixed-signal models, abstract RTOS/HAL/middleware models, TLM bus models, and QEMU wrappers. We enable dependability assessment by Fault Effect Modeling (FEM) at the virtual prototype in order to avoid risking physical injury or damage. Also, simulation results are deterministic and can be evaluated interactively or offline. We apply FEM to both the physical environment model and the different abstractions of the virtual prototype. Currently, we focus on sensor failures and application control flow errors.","lang":"eng"}],"_id":"36918","language":[{"iso":"eng"}],"publisher":"IEEE","user_id":"5786","doi":"10.1109/ICCPS.2014.6843726","author":[{"full_name":"Becker, Markus","last_name":"Becker","first_name":"Markus"},{"full_name":"Kuznik, Christoph","last_name":"Kuznik","first_name":"Christoph"},{"id":"16243","last_name":"Müller","first_name":"Wolfgang","full_name":"Müller, Wolfgang"}],"conference":{"location":"Berlin","name":"ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS)"},"year":"2014","title":"Fault Effect Modeling in a Heterogeneous SystemC Based Virtual Platform Framework for Cyber Physical Systems","status":"public","date_updated":"2023-01-16T11:57:22Z"},{"date_created":"2023-01-24T08:53:26Z","place":"Paris","department":[{"_id":"672"}],"keyword":["Echo cancellers","Logic","Unified modeling language","Automata","Data structures","Boolean functions","Electronic design automation and methodology","Prototypes","Specification languages","Constraint theory"],"type":"conference","citation":{"mla":"Krupp, Alexander, et al. “Formal Refinement and Model Checking of An Echo Cancellation Unit.” <i>Proceedings of DATE’04 Designers’ Forum</i>, 2004, doi:<a href=\"https://doi.org/10.1109/DATE.2004.1269214\">10.1109/DATE.2004.1269214</a>.","bibtex":"@inproceedings{Krupp_Müller_Oliver_2004, place={Paris}, title={Formal Refinement and Model Checking of An Echo Cancellation Unit}, DOI={<a href=\"https://doi.org/10.1109/DATE.2004.1269214\">10.1109/DATE.2004.1269214</a>}, booktitle={Proceedings of DATE’04 Designers’ Forum}, author={Krupp, Alexander and Müller, Wolfgang and Oliver, Ian}, year={2004} }","ama":"Krupp A, Müller W, Oliver I. Formal Refinement and Model Checking of An Echo Cancellation Unit. In: <i>Proceedings of DATE’04 Designers’ Forum</i>. ; 2004. doi:<a href=\"https://doi.org/10.1109/DATE.2004.1269214\">10.1109/DATE.2004.1269214</a>","ieee":"A. Krupp, W. Müller, and I. Oliver, “Formal Refinement and Model Checking of An Echo Cancellation Unit,” presented at the Proceedings Design, Automation and Test in Europe Conference and Exhibition, 2004, doi: <a href=\"https://doi.org/10.1109/DATE.2004.1269214\">10.1109/DATE.2004.1269214</a>.","apa":"Krupp, A., Müller, W., &#38; Oliver, I. (2004). Formal Refinement and Model Checking of An Echo Cancellation Unit. <i>Proceedings of DATE’04 Designers’ Forum</i>. Proceedings Design, Automation and Test in Europe Conference and Exhibition. <a href=\"https://doi.org/10.1109/DATE.2004.1269214\">https://doi.org/10.1109/DATE.2004.1269214</a>","short":"A. Krupp, W. Müller, I. Oliver, in: Proceedings of DATE’04 Designers’ Forum, Paris, 2004.","chicago":"Krupp, Alexander, Wolfgang Müller, and Ian Oliver. “Formal Refinement and Model Checking of An Echo Cancellation Unit.” In <i>Proceedings of DATE’04 Designers’ Forum</i>. Paris, 2004. <a href=\"https://doi.org/10.1109/DATE.2004.1269214\">https://doi.org/10.1109/DATE.2004.1269214</a>."},"publication":"Proceedings of DATE’04 Designers' Forum","abstract":[{"lang":"eng","text":"This article presents an approach, which combines theorem proving-based refinement with model checking for state based real-time systems. Our verification flow starts from UML state diagrams, which are translated to the formal B language and are model checked for real-time properties. By means of the B language and a B theorem prover, refined state diagrams are verified against their abstract representation. The approach is presented by means of the refinement of a digital echo cancellation unit."}],"language":[{"iso":"eng"}],"_id":"39061","user_id":"5786","doi":"10.1109/DATE.2004.1269214","author":[{"first_name":"Alexander","last_name":"Krupp","full_name":"Krupp, Alexander"},{"last_name":"Müller","first_name":"Wolfgang","full_name":"Müller, Wolfgang","id":"16243"},{"full_name":"Oliver, Ian","last_name":"Oliver","first_name":"Ian"}],"publication_identifier":{"isbn":["0-7695-2085-5"]},"conference":{"name":"Proceedings Design, Automation and Test in Europe Conference and Exhibition"},"title":"Formal Refinement and Model Checking of An Echo Cancellation Unit","year":"2004","status":"public","date_updated":"2023-01-24T08:53:31Z"},{"date_updated":"2023-01-24T11:49:01Z","author":[{"full_name":"Dücker, M.","last_name":"Dücker","first_name":"M."},{"full_name":"Geiger, Christian","last_name":"Geiger","first_name":"Christian"},{"full_name":"Hunstock, R.","last_name":"Hunstock","first_name":"R."},{"first_name":"Georg","last_name":"Lehrenfeld","full_name":"Lehrenfeld, Georg"},{"id":"16243","last_name":"Müller","first_name":"Wolfgang","full_name":"Müller, Wolfgang"}],"publication_identifier":{"isbn":["0-8186-8144-6"]},"conference":{"name":"1997 IEEE Symposium on Visual Languages"},"year":"1997","status":"public","title":"Visual-Textual Prototyping of 4D Scenes","user_id":"5786","doi":"10.1109/VL.1997.626601","_id":"39505","language":[{"iso":"eng"}],"abstract":[{"text":"3D-graphics are becoming popular in a steadily increasing number of areas such as entertainment, scientific visualization, simulation, and virtual reality. Despite this rapid growth the generation of animated 3D scenes is by no means trivial. Since animated 3D objects evolve over time the authors denote these objects as 4D. The article presents a novel approach to the rapid prototyping of 4D models. They introduce the AAL (Animated Agent Layer) system. AAL is an interpreter-based approach covering a textual (AAL-PR) as well as a visual command language (AAL-VL) for the specification of the dynamics in 4D scenes. AAL provides support for different levels of abstraction: primitives, structured objects, animated objects, and animated (autonomous) agents.","lang":"eng"}],"citation":{"short":"M. Dücker, C. Geiger, R. Hunstock, G. Lehrenfeld, W. Müller, in: Proceedings of the 1997 IEEE Symposium on Visual Languages, Capri, Italy, 1997.","chicago":"Dücker, M., Christian Geiger, R. Hunstock, Georg Lehrenfeld, and Wolfgang Müller. “Visual-Textual Prototyping of 4D Scenes.” In <i>Proceedings of the 1997 IEEE Symposium on Visual Languages</i>. Capri, Italy, 1997. <a href=\"https://doi.org/10.1109/VL.1997.626601\">https://doi.org/10.1109/VL.1997.626601</a>.","ieee":"M. Dücker, C. Geiger, R. Hunstock, G. Lehrenfeld, and W. Müller, “Visual-Textual Prototyping of 4D Scenes,” presented at the 1997 IEEE Symposium on Visual Languages, 1997, doi: <a href=\"https://doi.org/10.1109/VL.1997.626601\">10.1109/VL.1997.626601</a>.","apa":"Dücker, M., Geiger, C., Hunstock, R., Lehrenfeld, G., &#38; Müller, W. (1997). Visual-Textual Prototyping of 4D Scenes. <i>Proceedings of the 1997 IEEE Symposium on Visual Languages</i>. 1997 IEEE Symposium on Visual Languages. <a href=\"https://doi.org/10.1109/VL.1997.626601\">https://doi.org/10.1109/VL.1997.626601</a>","bibtex":"@inproceedings{Dücker_Geiger_Hunstock_Lehrenfeld_Müller_1997, place={Capri, Italy}, title={Visual-Textual Prototyping of 4D Scenes}, DOI={<a href=\"https://doi.org/10.1109/VL.1997.626601\">10.1109/VL.1997.626601</a>}, booktitle={Proceedings of the 1997 IEEE Symposium on Visual Languages}, author={Dücker, M. and Geiger, Christian and Hunstock, R. and Lehrenfeld, Georg and Müller, Wolfgang}, year={1997} }","ama":"Dücker M, Geiger C, Hunstock R, Lehrenfeld G, Müller W. Visual-Textual Prototyping of 4D Scenes. In: <i>Proceedings of the 1997 IEEE Symposium on Visual Languages</i>. ; 1997. doi:<a href=\"https://doi.org/10.1109/VL.1997.626601\">10.1109/VL.1997.626601</a>","mla":"Dücker, M., et al. “Visual-Textual Prototyping of 4D Scenes.” <i>Proceedings of the 1997 IEEE Symposium on Visual Languages</i>, 1997, doi:<a href=\"https://doi.org/10.1109/VL.1997.626601\">10.1109/VL.1997.626601</a>."},"publication":"Proceedings of the 1997 IEEE Symposium on Visual Languages","department":[{"_id":"672"}],"type":"conference","keyword":["Prototypes","Layout","Animation","Command languages","Application software","Libraries","Virtual reality","Computer graphics","Hardware","Context modeling"],"date_created":"2023-01-24T11:48:57Z","place":"Capri, Italy"},{"type":"conference","keyword":["Animation","Timing","Debugging","Ethernet networks","Multiaccess communication","Protocols","Computer languages","Prototypes","Environmental management","Visualization"],"department":[{"_id":"672"}],"place":" Darmstadt, Germany ","date_created":"2023-01-24T12:07:26Z","abstract":[{"text":"We investigate a translation of SDL diagrams into the complete visual representation of Pictorial Janus (PJ) programs in order to analyze the specification by visual debugging and animation. We additionally introduce timing concepts to PJ (Timed PJ) for a mapping of the SDL timing statements. The concepts transforming SDL interaction and process diagrams into Timed PJ are outlined by an example sketching the transformation of an Ethernet CSMA/CD protocol specification.","lang":"eng"}],"publication":"Proceedings of Symposium on Visual Languages","citation":{"bibtex":"@inproceedings{Lehrenfeld_Müller_Tahedl_1995, place={ Darmstadt, Germany }, title={Transforming SDL Diagrams Into a Complete Visual Representation}, DOI={<a href=\"https://doi.org/10.1109/VL.1995.520803\">10.1109/VL.1995.520803</a>}, booktitle={Proceedings of Symposium on Visual Languages}, author={Lehrenfeld, Georg and Müller, Wolfgang and Tahedl, C.}, year={1995} }","ama":"Lehrenfeld G, Müller W, Tahedl C. Transforming SDL Diagrams Into a Complete Visual Representation. In: <i>Proceedings of Symposium on Visual Languages</i>. ; 1995. doi:<a href=\"https://doi.org/10.1109/VL.1995.520803\">10.1109/VL.1995.520803</a>","mla":"Lehrenfeld, Georg, et al. “Transforming SDL Diagrams Into a Complete Visual Representation.” <i>Proceedings of Symposium on Visual Languages</i>, 1995, doi:<a href=\"https://doi.org/10.1109/VL.1995.520803\">10.1109/VL.1995.520803</a>.","chicago":"Lehrenfeld, Georg, Wolfgang Müller, and C. Tahedl. “Transforming SDL Diagrams Into a Complete Visual Representation.” In <i>Proceedings of Symposium on Visual Languages</i>.  Darmstadt, Germany , 1995. <a href=\"https://doi.org/10.1109/VL.1995.520803\">https://doi.org/10.1109/VL.1995.520803</a>.","short":"G. Lehrenfeld, W. Müller, C. Tahedl, in: Proceedings of Symposium on Visual Languages,  Darmstadt, Germany , 1995.","ieee":"G. Lehrenfeld, W. Müller, and C. Tahedl, “Transforming SDL Diagrams Into a Complete Visual Representation,” 1995, doi: <a href=\"https://doi.org/10.1109/VL.1995.520803\">10.1109/VL.1995.520803</a>.","apa":"Lehrenfeld, G., Müller, W., &#38; Tahedl, C. (1995). Transforming SDL Diagrams Into a Complete Visual Representation. <i>Proceedings of Symposium on Visual Languages</i>. <a href=\"https://doi.org/10.1109/VL.1995.520803\">https://doi.org/10.1109/VL.1995.520803</a>"},"doi":"10.1109/VL.1995.520803","user_id":"5786","_id":"39541","language":[{"iso":"eng"}],"date_updated":"2023-01-24T12:07:33Z","title":"Transforming SDL Diagrams Into a Complete Visual Representation","year":"1995","status":"public","publication_identifier":{"isbn":["0-8186-7045-2"]},"author":[{"full_name":"Lehrenfeld, Georg","last_name":"Lehrenfeld","first_name":"Georg"},{"first_name":"Wolfgang","last_name":"Müller","full_name":"Müller, Wolfgang","id":"16243"},{"full_name":"Tahedl, C.","first_name":"C.","last_name":"Tahedl"}]}]