A multidisciplinary design methodology for cyber-physical systems

CEUR Workshop Proceedings

Volumn 795, Issue , 2011, Pages 23-37

  Slomka, Frank ^a   Kollmann, Steffen ^a   Moser, Steffen ^a   Kempf, Kilian ^a  

^a UNIVERSITY OF ULM   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTION LAYER; COMPUTATIONAL SYSTEM; CYBER PHYSICAL SYSTEMS (CPSS); DESIGN LANGUAGES; MODEL- BASED DESIGNS; MULTIDISCIPLINARY DESIGN METHODOLOGY; PHYSICAL SYSTEMS; PLATFORM BASED DESIGN;

ABSTRACTING; DESIGN; MODELS;

EMBEDDED SYSTEMS;

EID: 84891915185     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (27)

1. AUTOSAR. http://www.autosar.org/.
2. Albers, K., Slomka, F.: Event Stream Calculus for Schedulability Analysis. In: Analysis, Architectures and Modelling of Embedded Systems, IFIP Advances in Information and Communication Technology, vol. 310, pp. 102-114. Springer Boston (2009).
3. aquintos: Preevision. http://www.aquintos.com/.
4. Baumann, T., Salzwedel, H.: Mission Level Design using UML 2.0. In: Proceedings of the NODe '05, Object Oriented Software Design for Real Time and Embedded Computer Systems (2005).
5. Boulet, P., Marquet, P., Piel, ́E., Taillard, J.: Repetitive allocation modeling with marte. In: Forum on specification and design languages (FDL07) (2007).
6. Carloni, L., De Bernardinis, F., Pinello, C., Sangiovanni-Vincentelli, A., Sgroi, M.: Platform-Based Design for Embedded Systems. In: The Embedded Systems Handbook. R. Zurawski (Ed.) (2005).
7. De Micheli, G.: Synthesis and Optimization of Digital Circuits. McGraw-Hill Science/Engineering/Math (1994).
8. Gajski, D.: High-Level Synthesis. Kluwer (1992).
9. Gerstlauer, A., Shin, D., Peng, J., Domer, R., Gajski, D.: Automatic layer-based generation of system-on-chip bus communication models. Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on 26(9), 1676-1687 (2007).
10. Gladigau, J., Gerstlauer, A., Streubühr, M., Haubelt, C., Teich, J.: A System- Level Synthesis Approach from Formal Application Models to Generic Bus-Based MPSoCs. In: Proceedings of the International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation (SAMOS) (2010).
11. International Society of Automation: ANSI/ISA-5.1-2009. http://www.isa.org/.
12. Jacobson, I., Christerson, M., Jonsson, P.: Object- Oriented Software Engineering. Addison-Wesley Longman (1992).
13. thInternational Conference on Real-Time and Network Systems (2010).
14. thIEEE Symposium on Object Oriented Real-Time Distributed Computing (ISORC) (2008).
15. Liehr, A., Rolfs, H., Buchenrieder, K., Nageldinger, U.: Generating marte allocation models from activity threads. In: Forum on Specification, Verification and Design Languages (FDL08). pp. 215-220. IEEE (2008).
16. Matlab/Simulink. http://www.mathworks.de/.
17. Münzenberger, R., Dörfel, M., Hofmann, R., Slomka, F.: A general time model for the specification and design of embedded real-time systems. Microelectronics Journal 34(11), 989-1000 (2003).
18. Object Management Group (OMG): Modeling and Analysis of Real Time and Embedded systems, version 1.1 (MARTE). http://www.omg.org/spec/MARTE/1.1/.
19. Object Management Group (OMG): OMG Systems Modeling Language, version 1.2 (OMG SysML). http://www.sysml.org/specs/.
20. Object Management Group (OMG): Unified Modeling Langauge (UML). http://www.uml.org/.
21. Richter, K.: Compositional Scheduling Analysis Using Standard Event Models - The SymTA/S Approach. Ph.D. thesis, University of Braunschweig (2005).
22. Sangiovanni-Vincentelli, A., Martin, G.: Platform-Based Design and Software Design Methodology for Embedded Systems. In: IEEE Design and Test of Computers. vol. 18, pp. 23-33 (2001).
23. Schliecker, S., Hamann, A., Racu, R., Ernst, R.: Formal Methods for System Level Performance Analysis and Optimization. In: Proceedings of the Design Verification Conference (DVCon) (2008).
24. Sommerville, I.: Software Engineering. Pearson Studium (2001).
25. Teich, J., Haubelt, C.: Digitale Hardware/Software-Systeme. Springer (2010).
26. Traub, M.: Durchgängige Timing-Bewertung von Vernetzungsarchitekturen und Gateway-Systemen im Kraftfahrzeug. Ph.D. thesis, University of Karlsruhe (2010).
27. Wandeler, E.: Modular Performance Analysis and Interface-Based Design for Embedded Real-Time Systems. Ph.D. thesis, ETH Zurich (September 2006).