@incollection{, author = {Aravantinos, Vincent and Voss, Sebastian and Teufl, Sabine and H{\"{o}}lzl, Florian and Sch{\"{a}}tz, Bernhard}, title = {AutoFOCUS 3: Tooling Concepts for Seamless, Model-based Development of Embedded Systems}, booktitle = {ACES-MB&WUCOR@MoDELS 2015}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, pages = {19-26}, year = {2015}, abstract = {This paper presents tooling concepts in AutoFOCUS 3 supporting the development of software-intensive embedded system design. AutoFOCUS 3 is a highly integrated model-based tool covering the complete development process from requirements elicitation, deployment, the modelling of the hardware platform to code generation. This is achieved thanks to precise static and dynamic semantics based on the FOCUS theory. Models are used for requirements, for the software architecture (SA), for the hardware platform and for relations between those different viewpoints: traces from requirements to the SA, refinements between SAs, and deployments of the SA to the platform. This holistic usage of models allows the provision of a wide range of analysis and synthesis techniques such as testing, model checking and deployment and scheduling generation. In this paper, we demonstrate how tooling concepts on different steps in the development process look like, based on these integrated models and implemented in AutoFOCUS 3.}, keywords = {AutoFOCUS3, Seamless MBD, Model-Based Development, Embedded Systems, Tooling Concept, Tooling, model-based systems engineering, MbSE}, url = {http://ceur-ws.org/Vol-1508/paper4.pdf}, } @article{Huang2014, author = {Huang, Jia and Barner, Simon and Raabe, Andreas and Buckl, Christian and Knoll, Alois}, title = {A framework for reliability-aware embedded system design on multiprocessor platforms}, journal = {Microprocessors and Microsystems}, volume = {38}, number = {6}, pages = {539--551}, year = {2014}, month = mar, abstract = {This paper presents a model-driven framework that provides a tool-supported design flow for fault-tolerant embedded systems. Its system models comprise abstract descriptions of the application and the underlying execution platform. They provide the input to our analysis and optimization techniques that enable the automated exploration of design alternatives for applications with reliability requirements. The automated generation of source code and platform configuration files speeds up the development process. Our contribution is to advance reliability-aware design further into practice by providing an integrated tool framework and removing unrealistic assumptions in the analyzes. The case studies demonstrate the effectiveness of our approach.}, issn = {0141-9331}, doi = {10.1016/j.micpro.2014.02.007}, keywords = {Embedded systems; Reliability; Fault-tolerance ; Design optimization; Model-driven development}, } @inproceedings{Sommer2013b, author = {Sommer, Stephan and Camek, Alexander and Buckl, Christian and Becker, Klaus and Zirkler, Andreas and Fiege, Ludger and Armbruster, Michael and Knoll, Alois}, title = {RACE: A Centralized Platform Computer Based Architecture for Automotive Applications}, booktitle = {Vehicular Electronics Conference (VEC) and the International Electric Vehicle Conference (IEVC) (VEC/IEVC 2013)}, publisher = {{IEEE}}, year = {2013}, month = oct, abstract = {In the last couple of years software functionality of modern cars increased dramatically. This growing functionality leads directly to a higher complexity of development and configuration. Current studies show that the amount of software will continue to grow. Additionally, advanced driver assistance systems (ADAS) and autonomous functionality, such as highly and fully automated driving or parking, will be introduced. Many of these new functions require access to different communication domains within the car, which increases system complexity. AUTOSAR, the software architecture established as a standard in the automotive domain, provides no methodologies to reduce this kind of complexity and to master new challenges. One solution for these evolving systems is developed in the RACE project. Here, a centralized platform computer (CPC) is introduced, which is inspired by the well-established approach used in other domains like avionics and automation. The CPC establishes a generic safety-critical execution environment for applications, providing interfaces for test and verification as well as a reliable communication infrastructure to smart sensors and actuators. A centralized platform also significantly reduces the complexity of integration and verification of new applications, and enables the support for Plug&Play.}, doi = {10.1109/IEVC.2013.6681152}, keywords = {embedded, RACE, Model-based Systems Engineering, MbSE}, } @inproceedings{Sommer2013a, author = {Sommer, Stephan and Geisinger, Michael and Buckl, Christian and Bauer, Gerd and Knoll, Alois}, title = {Reconfigurable Industrial Process Monitoring using the {CHROMOSOME} Middleware}, booktitle = {The Fifth International Workshop on Adaptive and Reconfigurable Embedded Systems (APRES 2013)}, publisher = {{ACM}}, year = {2013}, month = apr, keywords = {chromosome, embedded, multifunk, xme}, } @inproceedings{Sojer2013, author = {Reichenbach, Frank and Sojer, Dominik and Buckl, Christian and Knoll, Alois}, title = {A Model-Driven Approach for Runtime Reliability Analysis}, booktitle = {Proceedings of the Sixth Latin-American Symposium on Dependable Computing}, journal = {Springer Computer Science - Research and Development}, year = {2013}, institution = {Technische Universit{\"{a}}t M{\"{u}}nchen}, doi = {10.1007/s00450-011-0203-z}, keywords = {embedded, ftos}, url = {Sojer2012.pdf}, } @inproceedings{Huang2012, author = {Huang, Kai and Chen, Gang and Keddis, Nadine and Geisinger, Michael and Buckl, Christian}, title = {Demo Abstract: An Inverted Pendulum demonstrator for Timed Model-based Design of Embedded Systems}, booktitle = {2012 IEEE/ACM Third International Conference on Cyber-Physical Systems (ICCPS)}, pages = {224}, year = {2012}, month = apr, doi = {10.1109/ICCPS.2012.45}, keywords = {chromosome, embedded systems, field programmable gate arrays, FPGA platform, inverted pendulum demonstrator, middleware, model-based software design, modular software framework, nonlinear systems, pendulums, safety-critical embedded systems, safety-critical software, timed model-based design}, } @article{Sojer2012, author = {Sojer, Dominik and Buckl, Christian and Knoll, Alois}, title = {Deriving fault-detection mechanisms from safety requirements}, journal = {Springer Computer Science - Research and Development}, year = {2012}, institution = {Technische Universit{\"{a}}t M{\"{u}}nchen}, doi = {10.1007/s00450-011-0203-z}, keywords = {embedded, ftos}, url = {Sojer2012.pdf}, } @inproceedings{Buckl2011a, author = {Buckl, Christian and Geisinger, Michael}, title = {{M}iddleware-{A}rchitekturen zur {I}ntegration von {S}ystemen in {S}ystems-of-{S}ystems}, booktitle = {Tagungsband Embedded Software Engineering Kongress}, pages = {38--42}, year = {2011}, month = dec, institution = {Fortiss GmbH}, address = {Sindelfingen, Germany}, keywords = {chromosome, embedded, multifunk, xme}, url = {Buckl2011a.pdf}, } @inproceedings{Sojer2011a, author = {Sojer, Dominik and Buckl, Christian and Knoll, Alois}, title = {Synthesis of Diagnostic Techniques Based on an {IEC 61508}-aware Metamodel}, booktitle = {Proceedings of the 6th Symposium on Industrial Embedded Systems (SIES 2011), Work-in-Progress Session}, year = {2011}, month = jun, institution = {Technische Universit{\"{a}}t M{\"{u}}nchen}, doi = {10.1109/sies.2011.5953680}, keywords = {embedded, ftos}, } @inproceedings{Balakrishnan2011, author = {Balakrishnan, Gokul and Geisinger, Michael and Buckl, Christian}, editor = {Chen, Jian-Jia}, title = {{Multifunk}: Self-Organizing Sensor Networks for Industrial Process Monitoring}, booktitle = {Proceedings of the 17th IEEE Real-Time and Embedded Technology and Applications Symposium {(RTAS'11)}, Work-in-Progress Session}, pages = {57--60}, year = {2011}, month = apr, keywords = {embedded, Monitoring, multifunk, Self-Organization}, url = {Balakrishnan2011.pdf}, } @inproceedings{, author = {Campetelli, Alarico and H{\"{o}}lzl, Florian and Neubeck, Florian}, title = {User-friendly Model Checking Integration in Model-based Development}, booktitle = {Proceedings of the 24th International Conference on Computer Applications in Industry and Engineering}, year = {2011}, abstract = {We present our approach to a user-friendly model checking integration in model-based development. The used modeling tool is AutoFocus 3, developed at our research group and specialized for reactive and embedded systems. For this integration, we approach usability at four points: tight coupling of verification properties with model elements, different specification languages for the formulation of properties, visualization of counterexamples as well as evaluation of different model checkers for adequate performance. Dealing with these issues leads to one of the first model-based development environments incorporating property specification, model checking and debugging.}, keywords = {verification, model checking, model-based development, tool support, embedded systems, AutoFOCUS3, formal verification, model-based systems engineering, MbSE}, } @inproceedings{Sojer2010c, author = {Sojer, Dominik and Buckl, Christian and Knoll, Alois}, title = {{Vom Modell zum Code fuer IEC 61508, ISO 26262 und Co.}}, booktitle = {Proceedings of the 3rd Embedded Software Engineering Congress}, year = {2010}, month = dec, keywords = {embedded, ftos}, url = {http://www.ese-kongress.de/tagungsband/}, } @inproceedings{Buckl2010c, author = {Buckl, Christian and Gaponova, Irina and Geisinger, Michael and Knoll, Alois and Lee, Edward A.}, title = {Model-Based Specification of Timing Requirements}, booktitle = {Proceedings of the 10th ACM International Conference on Embedded Software (EMSOFT 2010)}, publisher = {Association for Computer Machinery}, pages = {239--248}, year = {2010}, month = oct, institution = {Technische Universit{\"{a}}t M{\"{u}}nchen}, address = {Scottsdale, Arizona, USA}, abstract = {In the past, model-based development focused mainly on functional and structural aspects of thesystem to be developed. Recently, several approaches to include timing aspects have been suggested.However, these approaches focus predominantly on later development phases. Models specifyingthe requirements with respect to timing without focusing on a specific solution are missing.For example, few models allow the specification of the allowed jitter of a system.In this paper, we identify requirements that are necessary to express the desired timingbehavior of hard and soft real-time systems by analyzing different application domains.Based on these results, we evaluate existing approaches with respect to their suitabilityto model timing requirements and present an suitable approach. Finally, this paper describesthe application of the suggested approach in the context of an example from the automation domain.}, doi = {10.1145/1879021.1879053}, keywords = {Automation, embedded, Model-based Development, multifunk, Real-Time Systems, Requirements Analysis, Survey, time, Timing Requirements}, url = {Buckl2010c.pdf}, } @inproceedings{Sommer2010b, author = {Sommer, Stephan and Buckl, Christian and Knoll, Alois and Bauer, Gerd and Schulz, Jens}, title = {MultiNet: An Intelligent Sensor Cable}, booktitle = {Fifth IEEE International Workshop on Practical Issues in Building Sensor Network Applications (SenseApp 2010)}, publisher = {{IEEE}}, year = {2010}, month = oct, keywords = {embedded, multinet}, url = {http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=5735839}, } @inproceedings{Sojer2010d, author = {Sojer, Dominik and Buckl, Christian and Knoll, Alois}, title = {Propagation, Transformation and Refinement of Safety Requirements}, booktitle = {Proceedings of the 3rd Workshop on Non-functional System Properties in Domain Specific Modeling Languages}, year = {2010}, month = oct, institution = {Technische Universit{\"{a}}t M{\"{u}}nchen}, keywords = {embedded, ftos}, url = {http://www.springer.com/computer/swe/book/978-3-642-21209-3}, } @article{Buckl2010b, author = {Buckl, Christian and Sojer, Dominik and Knoll, Alois}, title = {{FTOS}: Model-Driven Development of Fault-Tolerant Automation Systems}, journal = {Proceedings of the 15th {IEEE} International Conference on Emerging Techonologies and Factory Automation}, year = {2010}, month = sep, timestamp = 2010.05.27, owner = {Dominik Sojer}, doi = {10.1109/etfa.2010.5641211}, keywords = {embedded, ftos}, url = {Buckl2010b.pdf}, } @inproceedings{Barner2010b, author = {Barner, Simon and Buckl, Christian and Knoll, Alois}, title = {Hardware-aware model-driven software development}, booktitle = {{ACACES} 2010 Poster Abstracts}, publisher = {High-Performance Embedded Architecture and Compiliation Network of Excellence}, pages = {89-92}, year = {2010}, month = jul, institution = {Technische Universit{\"{a}}t M{\"{u}}nchen}, address = {Terrassa, Spain}, keywords = {easykit, embedded}, } @inproceedings{Scholz2010a, author = {Scholz, Andreas and Sommer, Stephan and Buckl, Christian and Kainz, Gerd and Kemper, Alfons and Knoll, Alois and Heuer, J{\"{o}}rg and Schmitt, Anton}, title = {Towards and Adaptive Execution of Applications in Heterogeneous Embedded Networks}, booktitle = {Software Engineering for Sensor Network Applications (SESENA 2010)}, publisher = {{ACM/IEEE}}, year = {2010}, month = may, keywords = {embedded, esoa}, url = {http://delivery.acm.org/10.1145/1810000/1809120/p26-scholz.pdf?key1=1809120&key2=9209793031&coll=DL&dl=ACM&ip=129.187.254.46&CFID=20028953&CFTOKEN=74654452}, } @inproceedings{Sojer2010b, author = {Sojer, Dominik and Buckl, Christian and Knoll, Alois}, title = {Formal Modeling of Safety Requirements in the Model-Driven Development of Safety Critical Embedded Systems}, booktitle = {Proceedings of the Eighth European Dependable Computing Conference (EDCC 2010)}, year = {2010}, month = apr, institution = {Technische Universit{\"{a}}t M{\"{u}}nchen}, abstract = {Safety requirements are a very important artifact in the development of safety critical embedded systems. They are usually identified during safety analyses and are used by experts as a basis for the correct selection and implementation of safety mechanisms. Various safety analysis research groups have worked on formal modeling of safety requirements with the goal of determining if a system can meet these requirements. In this abstract, we propose the application of formal models of safety requirements throughout all development phases of a model-driven development process. The safety requirements identified during safety analysis can be used to automatically generate appropriate mechanisms in the code generation phase and to verify the suitability of this mechanisms in the verification phase. By establishing safety requirements as a formal basis of all process phases, a consistent development process can be achieved.}, keywords = {embedded, ftos}, url = {Sojer2010b.pdf}, } @inproceedings{Sommer2010a, author = {Sommer, Stephan and Buckl, Christian and Kainz, Gerd and Scholz, Andreas and Gaponova, Irina and Knoll, Alois and Kemper, Alfons and Heuer, J{\"{o}}rg and Schmitt, Anton}, title = {Service Migration Scenarios for Embedded Networks}, booktitle = {The Fifth International Workshop on Service Oriented Architectures in Converging Networked Environments (SOCNE 2010)}, publisher = {{IEEE}}, year = {2010}, month = apr, keywords = {embedded, esoa}, url = {http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=5480727}, } @techreport{Sojer2010a, author = {Sojer, Dominik and Buckl, Christian and Knoll, Alois}, title = {{S}tand und {A}nforderungen an eine {W}erkzeugunterstuetzung zur {E}ntwicklung von {A}utomatisierungssoftware}, number = {TUM-I1003}, year = {2010}, month = feb, institution = {Technische Universit{\"{a}}t M{\"{u}}nchen}, abstract = {Der Bericht entstand im Rahmen des, vom BMBF gef"orderten Projekts ``Software Platform Embedded Systems 2020 (SPES2020)'' im Teilprojekt Automatisierungstechnik. Wir bedanken uns bei den Industriepartnern Embedded4You und Siemens f"ur Ihre Unterst"utzung bei der Erstellung dieses Dokuments. Dieses Dokument beschreibt die spezifischen Anforderungen an Entwicklungs- und Testwerkzeuge zur Modellgetriebenen Softwareentwicklung der Partner des Anwendungsgebiets Automatisierungstechnik, welche durch die aktuell verf"ugbaren Werkzeuge noch nicht erf"ullt werden. Dabei werden projektorganisatorische Defizite behandelt, aber haupts"achlich werden konkrete Funktionen zum Umgang mit Modellen diskutiert, die zurzeit noch nicht zum Stand der Technik in industriell einsetzbaren Werkzeugen geh"oren.}, keywords = {embedded, ftos}, url = {Sojer2010a.pdf}, } @inproceedings{Buckl2009a, author = {Buckl, Christian and Kainz, Gerd and Sommer, Stephan and Knoll, Alois}, title = {Modell-zu-Metamodell-Transformationen zur Entwicklung von komponentenbasierten Systemen}, booktitle = {6. Dagstuhl-Workshop MBEES 2010: Model-Based Development of Embedded Systems}, year = {2010}, month = feb, keywords = {embedded}, url = {Buckl2009a.pdf}, } @inproceedings{Barner2010a, author = {Barner, Simon and Geisinger, Michael and Huang, Jia and Knoll, Alois and B{\"{o}}nicke, Holger and Ament, Christoph and Mades, Jochen and Pittschellis, Reinhard and Bauer, Gerd}, editor = {Gausemeier, J{\"{u}}rgen and Ramming, Franz and Sch{\"{a}}fer, Wilhelm and Tr{\"{a}}chtler, Ansgar}, title = {{E}asy{K}it - {E}ine allgemeine {M}ethodik f{\"{u}}r die {E}ntwicklung von {S}teuerungskomponenten}, booktitle = {{E}ntwurf mechatronischer {S}ysteme}, series = {{HNI-Verlagsschriftenreihe}}, volume = {272}, pages = {23--36}, year = {2010}, institution = {Technische Universit{\"{a}}t M{\"{u}}nchen}, address = {Paderborn, Germany}, abstract = {Bei der Entwicklung mechatronischer Systeme spielen Entwurf und Implementierung der Steuerungskomponente eine entscheidende Rolle. Hierbei lassen sich die folgenden Trends feststellen: Zentralisierte, oft SPS-basierte Systeme werden vermehrt durch dezentrale Ans{\"{a}}tze abgel{\"{o}}st, bei denen die prozessnahe Vorverarbeitung von Sensorsignalen und die Erzeugung von Steuersignalen f{\"{u}}r die Aktorik von effizienten, auf die jeweilige Aufgabe spezialisierten Systemen {\"{u}}bernommen werden. Des Weiteren gibt es vermehrt Anstrengungen, die sequenzielle Entwicklung von Maschine, Steuerung und Software aufzubrechen und zu parallelisieren (Hardware/Software Co-Design). Die EasyKit-Methodik ist ein m{\"{o}}glicher Ansatz, um diesen Anforderungen gerecht zu werden: Mit einem Elektronik-Baukastensystem steht ein Mittel zur Verf{\"{u}}gung, mit dem sich effizient auf die vorliegende Aufgabe zugeschnittene Mikrocontroller-basierte Steuerungen entwickeln lassen, die ohne weitere Beschaltung g{\"{a}}ngige industrielle Signaltypen verarbeiten und in bestehende Bussysteme und Netzwerke integriert werden k{\"{o}}nnen. Die Entwicklung der Software erfolgt mit dem modellgetriebenen Werkzeug EasyLab auf hohem Abstraktionsniveau und unabh{\"{a}}ngig von der verwendeten Hardware-Architektur. Die Modellierung dient als Grundlage f{\"{u}}r einen vorlagenbasierten Code-Generator sowie eine Simulationskomponente, die den Entwickler bei Planung und Fehlersuche unterst{\"{u}}tzt. Dar{\"{u}}ber hinaus erlaubt es eine Debugging-Schnittstelle, Programme, die auf der Zielhardware ablaufen, in Echtzeit zu beobachten und zu manipulieren. Die universelle Einsetzbarkeit eines Entwicklungsprozesses spielt eine wichtige Rolle f{\"{u}}r dessen Akzeptanz. Daher zeigen wir anhand von drei Fallbeispielen auf, wie EasyKit verwendet werden kann, um sowohl die Entwicklung komplexer industrieller Systeme zu strukturieren als auch die entsprechenden Grundlagen in der Ausbildung anschaulich zu vermitteln.}, keywords = {Code Generation, components, didactics, easykit, EasyLab, embedded, model driven development, systems}, } @inproceedings{Scholz2009c, author = {Scholz, Andreas and Gaponova, Irina and Sommer, Stephan and Kemper, Alfons and Knoll, Alois and Buckl, Christian and Heuer, J{\"{o}}rg and Schmitt, Anton}, title = {Efficient Communication in Control-Oriented Embedded Networks}, booktitle = {Proceedings of the 14th IEEE International Conference on Emerging Technologies and Factory Automation}, year = {2009}, month = sep, keywords = {embedded, esoa}, url = {http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=05347065}, } @inproceedings{Scholz2009b, author = {Scholz, Andreas and Buckl, Christian and Sommer, Stephan and Kemper, Alfons and Knoll, Alois and Heuer, J{\"{o}}rg and Schmitt, Anton}, title = {{eSOA} - Service Oriented Architectures adapted for Embedded Networks}, booktitle = {Proceedings of the 7th International Conference on Industrial Informatics)}, year = {2009}, month = jun, keywords = {embedded, esoa}, url = {http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=5195871&isnumber=5191764}, } @inproceedings{, author = {Geisinger, Michael and Barner, Simon and Wojtczyk, Martin and Knoll, Alois}, title = {A Software Architecture for Model-Based Programming of Robot Systems}, booktitle = {Advances in Robotics Research -- Theory, Implementation, Application}, publisher = {Springer}, pages = {135--146}, year = {2009}, month = jun, abstract = {While robot systems become more and more elaborate, the need to simplify programming them grows as well. Regarding the high degree of internal heterogeneity in the sense that different micro-controller platforms,protocols and performance layers are used in a single robot application, it is no longer feasible to have specialists dedicated to each individual task. This motivates the need for tool support that allows an abstract view not only on a robot's sensors and actuators, but also on the interconnection between the different components.In this work, we present how the model-based development and code generation tool EasyLab can be extended to support programming of all parts of a robot, including the main controller as well as peripheral devices like smart sensors. We show three typical use cases in the context of mobile platforms and also give an outlook on upcoming features such as distributed modeling and support for multi-core architectures.}, isbn = {978-3-642-01212-9}, doi = {10.1007/978-3-642-01213-6_13}, keywords = {embedded, easykit, EasyLab, Model-based Development, Code Generation, Interpretation, Zero Code Development, Smart Sensors, Smart Actuators, Communication}, } @inproceedings{Buckl2009, author = {Buckl, Christian and Sommer, Stephan and Scholz, Andreas and Knoll, Alois and Kemper, Alfons and Heuer, J{\"{o}}rg and Schmitt, Anton}, title = {Services to the Field: An Approach for Resource Constrained Sensor/Actor Networks}, booktitle = {The Fourth Workshop on Service Oriented Architectures in Converging Networked Environments (SOCNE 2009) -- extended version}, publisher = {{IEEE}}, year = {2009}, month = may, keywords = {embedded, esoa}, url = {Buckl2009a.pdf}, } @inproceedings{Sommer2009a, author = {Sommer, Stephan and Buckl, Christian and Knoll, Alois}, title = {Developing Service Oriented Sensor/Actuator Networks using a Tailored Middleware}, booktitle = {6th International Conference on Information Technology : New Generations (ITNG 2009)}, publisher = {{IEEE}}, year = {2009}, month = apr, keywords = {embedded, esoa}, url = {http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=5070760&isnumber=5070575}, } @inproceedings{Scholz2009a, author = {Scholz, Andreas and Buckl, Christian and Sommer, Stephan and Kemper, Alfons and Knoll, Alois and Heuer, J{\"{o}}rg and Winter, Martin}, title = {{eSOA} - {SOA} f{\"{u}}r eingebettete Netze}, booktitle = {Proceedings of the Workshop on Service Oriented Computing at KIVS 2009)}, year = {2009}, keywords = {embedded, esoa}, url = {http://eceasst.cs.tu-berlin.de/index.php/eceasst/article/viewFile/209/192}, } @inproceedings{Barner2008a, author = {Barner, Simon and Geisinger, Michael and Buckl, Christian and Knoll, Alois}, title = {{EasyLab}: Model-Based Development of Software for Mechatronic Systems}, booktitle = {IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications}, pages = {540--545}, year = {2008}, institution = {Technische Universit{\"{a}}t M{\"{u}}nchen}, address = {Beijing, China}, abstract = {Model-based development tools are one possible solution to handle the increasing complexity of mechatronic systems. While traditional approaches often separate design of hardware and software, especially in mechatronic systems hardware/software interaction is the most critical component. Hence, both aspects must be considered in this context. The goal is a model-based development tool for software/hardware co-design including the generation of efficient code for the respective target platforms. EasyLab is a modular and easily expandable development tool especially suitable for such applications. Its objectives are to facilitate reusability and to accelerate the development process. It raises the level of abstraction and thus simplifies the development of mechatronic systems even for unexperienced users. A graphical user interface provides various modeling languages that are easy to use. By employing platform optimized generation of the code, efficiency of the resulting programs can be guaranteed, which we demonstrate on a set of experimental mechatronic systems.}, doi = {10.1109/mesa.2008.4735652}, keywords = {easykit, EasyLab, embedded, Hardware-Software Codesign, Model-based Development, Rapid Hardware Prototyping, Zero Code Development}, }