- Table View
- List View
Model-Based Engineering of Embedded Real-Time Systems: International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers (Lecture Notes in Computer Science #6100)
by Bernhard Schätz Holger Giese Gabor Karsai Edward A. Lee Bernhard RumpeThetopicof“Model-BasedEngineeringofReal-TimeEmbeddedSystems”brings together a challenging problem domain (real-time embedded systems) and a - lution domain (model-based engineering). It is also at the forefrontof integrated software and systems engineering, as software in this problem domain is an essential tool for system implementation and integration. Today, real-time - bedded software plays a crucial role in most advanced technical systems such as airplanes, mobile phones, and cars, and has become the main driver and - cilitator for innovation. Development, evolution, veri?cation, con?guration, and maintenance of embedded and distributed software nowadays are often serious challenges as drastic increases in complexity can be observed in practice. Model-based engineering in general, and model-based software development in particular, advocates the notion of using models throughout the development and life-cycle of an engineered system. Model-based software engineering re- forces this notion by promoting models not only as the tool of abstraction, but also as the tool for veri?cation, implementation, testing, and maintenance. The application of such model-based engineering techniques to embedded real-time systems appears to be a good candidate to tackle some of the problems arising in the problem domain.
Model-Based Engineering of Collaborative Embedded Systems: Extensions of the SPES Methodology
This Open Access book presents the results of the "Collaborative Embedded Systems" (CrESt) project, aimed at adapting and complementing the methodology underlying modeling techniques developed to cope with the challenges of the dynamic structures of collaborative embedded systems (CESs) based on the SPES development methodology.In order to manage the high complexity of the individual systems and the dynamically formed interaction structures at runtime, advanced and powerful development methods are required that extend the current state of the art in the development of embedded systems and cyber-physical systems. The methodological contributions of the project support the effective and efficient development of CESs in dynamic and uncertain contexts, with special emphasis on the reliability and variability of individual systems and the creation of networks of such systems at runtime.The project was funded by the German Federal Ministry of Education and Research (BMBF), and the case studies are therefore selected from areas that are highly relevant for Germany’s economy (automotive, industrial production, power generation, and robotics). It also supports the digitalization of complex and transformable industrial plants in the context of the German government's "Industry 4.0" initiative, and the project results provide a solid foundation for implementing the German government's high-tech strategy "Innovations for Germany" in the coming years.
Model-Based Development and Evolution of Information Systems: A Quality Approach
by John KrogstieThis book introduces and describes in detail the SEQUAL framework for understanding the quality of models and modeling languages, including the numerous specializations of the generic framework, and the various ways in which this can be used for different applications. Topics and features: contains case studies, chapter summaries, review questions, problems and exercises throughout the text, in addition to Appendices on terminology and abbreviations; presents a thorough introduction to the most important concepts in conceptual modeling, including the underlying philosophical outlook on the quality of models; describes the basic tasks and model types in information systems development and evolution, and the main methodologies for mixing different phases of information system development; provides an overview of the general mechanisms and perspectives used in conceptual modeling; predicts future trends in technological development, and discusses how the role of modeling can be envisaged in this landscape.
Model-Based Design of Adaptive Embedded Systems (Embedded Systems)
by Twan Basten, Roelof Hamberg, Frans Reckers and Jacques VerrietThis book describes model-based development of adaptive embedded systems, which enable improved functionality using the same resources. The techniques presented facilitate design from a higher level of abstraction, focusing on the problem domain rather than on the solution domain, thereby increasing development efficiency. Models are used to capture system specifications and to implement (manually or automatically) system functionality. The authors demonstrate the real impact of adaptivity on engineering of embedded systems by providing several industrial examples of the models used in the development of adaptive embedded systems.
Model-Based Design for Embedded Systems (Computational Analysis, Synthesis, and Design of Dynamic Systems)
by Gabriela Nicolescu Pieter J. MostermanThe demands of increasingly complex embedded systems and associated performance computations have resulted in the development of heterogeneous computing architectures that often integrate several types of processors, analog and digital electronic components, and mechanical and optical components—all on a single chip. As a result, now the most prominent challenge for the design automation community is to efficiently plan for such heterogeneity and to fully exploit its capabilities.A compilation of work from internationally renowned authors, Model-Based Design for Embedded Systems elaborates on related practices and addresses the main facets of heterogeneous model-based design for embedded systems, including the current state of the art, important challenges, and the latest trends. Focusing on computational models as the core design artifact, this book presents the cutting-edge results that have helped establish model-based design and continue to expand its parameters.The book is organized into three sections: Real-Time and Performance Analysis in Heterogeneous Embedded Systems, Design Tools and Methodology for Multiprocessor System-on-Chip, and Design Tools and Methodology for Multidomain Embedded Systems. The respective contributors share their considerable expertise on the automation of design refinement and how to relate properties throughout this refinement while enabling analytic and synthetic qualities. They focus on multi-core methodological issues, real-time analysis, and modeling and validation, taking into account how optical, electronic, and mechanical components often interface. Model-based design is emerging as a solution to bridge the gap between the availability of computational capabilities and our inability to make full use of them yet. This approach enables teams to start the design process using a high-level model that is gradually refined through abstraction levels to ultimately yield a prototype. When executed well, model-based design encourages enhanced performance and quicker time to market for a product. Illustrating a broad and diverse spectrum of applications such as in the automotive aerospace, health care, consumer electronics, this volume provides designers with practical, readily adaptable modeling solutions for their own practice.
Model-Based Design for Embedded Systems (Computational Analysis, Synthesis, and Design of Dynamic Systems)
by Gabriela Nicolescu Pieter J. MostermanThe demands of increasingly complex embedded systems and associated performance computations have resulted in the development of heterogeneous computing architectures that often integrate several types of processors, analog and digital electronic components, and mechanical and optical components—all on a single chip. As a result, now the most prominent challenge for the design automation community is to efficiently plan for such heterogeneity and to fully exploit its capabilities.A compilation of work from internationally renowned authors, Model-Based Design for Embedded Systems elaborates on related practices and addresses the main facets of heterogeneous model-based design for embedded systems, including the current state of the art, important challenges, and the latest trends. Focusing on computational models as the core design artifact, this book presents the cutting-edge results that have helped establish model-based design and continue to expand its parameters.The book is organized into three sections: Real-Time and Performance Analysis in Heterogeneous Embedded Systems, Design Tools and Methodology for Multiprocessor System-on-Chip, and Design Tools and Methodology for Multidomain Embedded Systems. The respective contributors share their considerable expertise on the automation of design refinement and how to relate properties throughout this refinement while enabling analytic and synthetic qualities. They focus on multi-core methodological issues, real-time analysis, and modeling and validation, taking into account how optical, electronic, and mechanical components often interface. Model-based design is emerging as a solution to bridge the gap between the availability of computational capabilities and our inability to make full use of them yet. This approach enables teams to start the design process using a high-level model that is gradually refined through abstraction levels to ultimately yield a prototype. When executed well, model-based design encourages enhanced performance and quicker time to market for a product. Illustrating a broad and diverse spectrum of applications such as in the automotive aerospace, health care, consumer electronics, this volume provides designers with practical, readily adaptable modeling solutions for their own practice.
Model-Based Design and Evaluation of Interactive Applications (Applied Computing)
by Fabio PaternoThis book covers methods for user interface design and evaluation. It shows how the systematic use of task models can make the design and development of interactive software applications easier and more effective, and how it can lead to improved usability. Useful examples of how to apply the methods will be of interest to application developers. A website containing additional exercises and pointers to relevant freeware will also be available.
Model-Based Decision Support Methodology with Environmental Applications (Mathematical Modelling: Theory and Applications #9)
by Andrzej P. Wierzbicki Marek Makowski Jaap WesselsThe complexity of issues requiring rational decision making grows and thus such decisions are becoming more and more difficult, despite advances in methodology and tools for decision support and in other areas of research. Globalization, interlinks between environmental, industrial, social and political issues, and rapid speed of change all contribute to the increase of this complexity. Specialized knowledge about decision-making processes and their support is increasing, but a large spectrum of approaches presented in the literature is typically illustrated only by simple examples. Moreover, the integration of model-based decision support methodologies and tools with specialized model-based knowledge developed for handling real problems in environmental, engineering, industrial, economical, social and political activities is often not satisfactory. Therefore, there is a need to present the state of art of methodology and tools for development of model-based decision support systems, and illustrate this state by applications to various complex real-world decision problems. The monograph reports many years of experience of many researchers, who have not only contributed to the developments in operations research but also succeeded to integrate knowledge and craft of various disciplines into several modern decision support systems which have been applied to actual complex decision-making processes in various fields of policy making. The experience presented in this book will be of value to researchers and practitioners in various fields. The issues discussed in this book gain in importance with the development of the new era of the information society, where information, knowledge, and ways of processing them become a decisive part of human activities. The examples presented in this book illustrate how how various methods and tools of model-based decision support can actually be used for helping modern decision makers that face complex problems. Overview of the contents: The first part of this three-part book presents the methodological background and characteristics of modern decision-making environment, and the value of model-based decision support thus addressing current challenges of decision support. It also provides the methodology of building and analyzing mathematical models that represent underlying physical and economic processes, and that are useful for modern decision makers at various stages of decision making. These methods support not only the analysis of Pareto-efficient solutions that correspond best to decision maker preferences but also allow the use of other modeling concepts like soft constraints, soft simulation, or inverse simulation. The second part describes various types of tools that are used for the development of decision support systems. These include tools for modeling, simulation, optimization, tools supporting choice and user interfaces. The described tools are both standard, commercially available, and nonstandard, public domain or shareware software, which are robust enough to be used also for complex applications. All four environmental applications (regional water quality management, land use planning, cost-effective policies aimed at improving the European air quality, energy planning with environmental implications) presented in the third part of the book rely on many years of cooperation between the authors of the book with several IIASA's projects, and with many researchers from the wide IIASA network of collaborating institutions. All these applications are characterized by an intensive use of model-based decision support. Finally, the appendix contains a short description of some of the tools described in the book that are available from IIASA, free of charge, for research and educational purposes. The experiences reported in this book indicate that the development of DSSs for strategic environmental decision making should be a joint effort involving experts in the subject area, modelers, and decision support experts
Model-Based Approaches to the Internet of Things
by Pascal HirmerThis book gives an overview of existing models that cover the whole lifecycle of an IoT application, ranging from its design, implementation, deployment, operation, and monitoring to its final termination and retirement. Models provide abstraction and can help IoT application developers into creating more robust, secure, and reliable applications. Furthermore, adaptation of applications can be eased by using these models, leading to an increased dynamic of the developed IoT applications.In the book, research of the last years in the area of model based approaches to the Internet of Things is described and these approaches are incorporated into the lifecycle of IoT applications.Finally, use cases from different domains are introduced that show how these models could be applied in real-world applications.
Model and Design of Improved Current Mode Logic Gates: Differential and Single-ended
by Kirti Gupta Neeta Pandey Maneesha GuptaThis book presents MOSFET-based current mode logic (CML) topologies, which increase the speed, and lower the transistor count, supply voltage and power consumption. The improved topologies modify the conventional PDN, load, and the current source sections of the basic CML gates. Electronic system implementation involves embedding digital and analog circuits on a single die shifting towards mixed-mode circuit design. The high-resolution, low-power and low-voltage analog circuits are combined with high-frequency complex digital circuits, and the conventional static CMOS logic generates large current spikes during the switching (also referred to as digital switching noise), which degrade the resolution of the sensitive analog circuits via supply line and substrate coupling. This problem is exacerbated further with scaling down of CMOS technology due to higher integration levels and operating frequencies. In the literature, several methods are described to reduce the propagation of the digital switching noise. However, in high-resolution applications, these methods are not sufficient. The conventional CMOS static logic is no longer an effective solution, and therefore an alternative with reduced current spikes or that draws a constant supply current must be selected. The current mode logic (CML) topology, with its unique property of requiring constant supply current, is a promising alternative to the conventional CMOS static logic.
Model and Data Engineering: 8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24–26, 2018, Proceedings (Lecture Notes in Computer Science #11163)
by El Hassan Abdelwahed Ladjel Bellatreche Mattéo Golfarelli Dominique Méry Carlos OrdonezThis book constitutes the refereed proceedings of the 8h International Conference on Model and Data Engineering, MEDI 2018, held in Marrakesh, Morocco, in October 2018.The 23 full papers and 4 short papers presented together with 2 invited talks were carefully reviewed and selected from 86 submissions. The papers covered the recent and relevant topics in the areas of databases; ontology and model-driven engineering; data fusion, classsification and learning; communication and information technologies; safety and security; algorithms and text processing; and specification, verification and validation.
Model and Data Engineering: 2nd International Conference, MEDI 2012, Poitiers, France, October 3-5, 2012, Proceedings (Lecture Notes in Computer Science #7602)
by Alberto Abelló Ladjel Bellatreche Boualem BenatallahThis book constitutes the refereed proceedings of the 2nd International Conference on Model and Data Engineering, MEDI 2012, held in Poitiers, France, in October 2012. The 12 revised full papers presented together with 5 short papers were carefully reviewed and selected from 35 submissions. The papers are cover the topics of model driven engineering, ontology engineering, formal modeling, security, and data mining.
Model and Data Engineering: 4th International Conference, MEDI 2014, Larnaca, Cyprus, September 24-26, 2014. Proceedings (Lecture Notes in Computer Science #8748)
by Yamine Ait Ameur Ladjel Bellatreche George A. PapadopoulosThis book constitutes the refereed proceedings of the 4th International Conference on Model and Data Engineering, MEDI 2014, held in Larnaca, Cyprus, in September 2014. The 16 long papers and 12 short papers presented together with 2 invited talks were carefully reviewed and selected from 64 submissions. The papers specifically focus on model engineering and data engineering with special emphasis on most recent and relevant topics in the areas of modeling and models engineering; data engineering; modeling for data management; and applications and tooling.
Model and Data Engineering: 10th International Conference, MEDI 2021, Tallinn, Estonia, June 21–23, 2021, Proceedings (Lecture Notes in Computer Science #12732)
by Christian Attiogbé Sadok Ben YahiaThis book constitutes the refereed proceedings of the 10th International Conference on Model and Data Engineering, MEDI 2021, held in Tallinn, Estonia, in June 2021. The 16 full papers and 8 short papers presented in this book were carefully reviewed and selected from 47 submissions. Additionally, the volume includes 3 abstracts of invited talks. The papers cover broad research areas on both theoretical, systems and practical aspects. Some papers include mining complex databases, concurrent systems, machine learning, swarm optimization, query processing, semantic web, graph databases, formal methods, model-driven engineering, blockchain, cyber physical systems, IoT applications, and smart systems.Due to the Corona pandemic the conference was held virtually.
Model and Data Engineering: 5th International Conference, MEDI 2015, Rhodes, Greece, September 26-28, 2015, Proceedings (Lecture Notes in Computer Science #9344)
by Ladjel Bellatreche Yannis ManolopoulosThis book constitutes the refereed proceedings of the 5th International Conference on Model and Data Engineering, MEDI 2015, held in Rhodes, Greece, in September 2015. The 18 full papers and 9 short papers presented together with 2 invited talks were carefully reviewed and selected from 55 submissions. The papers are organized in topical sections such as modeling and meta modeling; ontology-based modeling, reasoning and reuse; event-B and modeling languages; context modeling and model transformation; data mining; query processing; modeling activities and inference; prediction and recommendation; requirement and systems engineering.
Model and Data Engineering: 6th International Conference, MEDI 2016, Almería, Spain, September 21-23, 2016, Proceedings (Lecture Notes in Computer Science #9893)
by Ladjel Bellatreche Óscar Pastor Jesús M. Almendros Jiménez Yamine Aït-AmeurThis book constitutes the refereed proceedings of the 6th International Conference on Model and Data Engineering, MEDI 2016, held in Almería, Spain, in September 2016. The 17 full papers and 10 short papers presented together with 2 invited talks were carefully reviewed and selected from 62 submissions. The papers range on a wide spectrum covering fundamental contributions, applications and tool developments and improvements in model and data engineering activities.
Model and Data Engineering: First International Conference, MEDI 2011, Obidos, Portugal, September 28-30, 2011. Proceedings (Lecture Notes in Computer Science #6918)
by Ladjel Bellatreche Filipe Mota PintoThis book constitutes the refereed proceedings of the First International Conference on Model and Data Engineering, MEDI 2011, held in Óbidos, Portugal, in September 2011. The 18 revised full papers presented together with 8 short papers and three keynotes were carefully reviewed and selected from 67 submissions. The papers are organized in topical sections on ontology engineering; Web services and security; advanced systems; knowledge management; model specification and verification; and models engineering.
Model and Data Engineering: Third International Conference, MEDI 2013, Amantea, Italy, September 25-27, 2013 Proceedings (Lecture Notes in Computer Science #8216)
by Alfredo Cuzzocrea Sofian MaaboutThis book constitutes the refereed proceedings of the Third International Conference on Model and Data Engineering, MEDI 2013, held in Amantea, Calabria, Italy, in September 2013. The 19 long papers and 3 short papers presented were carefully reviewed and selected from 61 submissions. The papers specifically focus on model engineering and data engineering with special emphasis on most recent and relevant topics in the areas of model-driven engineering, ontology engineering, formal modeling, security, and database modeling.
Model and Data Engineering: 11th International Conference, MEDI 2022, Cairo, Egypt, November 21–24, 2022, Proceedings (Lecture Notes in Computer Science #13761)
by Philippe Fournier-Viger Ahmed Hassan Ladjel BellatrecheThis book constitutes the refereed proceedings of the 11th International Conference on Model and Data Engineering, MEDI 2022, held in Cairo, Egypt, in November 2022. The 18 full papers presented in this book were carefully reviewed and selected from 65 submissions. The papers cover topics such as database systems, data stream analysis, knowledge-graphs, machine learning, model-driven engineering, image processing, diagnosis, natural language processing, optimization, and advanced applications such as the internet of things and healthcare.
Model and Data Engineering: 12th International Conference, MEDI 2023, Sousse, Tunisia, November 2–4, 2023, Proceedings (Lecture Notes in Computer Science #14396)
by Mohamed Mosbah Tahar Kechadi Ladjel Bellatreche Faiez GargouriThis volume LNCS 14396 constitutes the refereed proceedings of the 12th International Conference, MEDI 2023,in November 2023 ,held in Sousse, Tunisia. The 27 full papers were carefully peer reviewed and selected from 99 submissions. The Annual International Conference on Model and Data Engineering focuses on bring together researchers and practitioners and enabling them to showcase the latest advances in modelling and data management.
Model and Data Engineering: 7th International Conference, MEDI 2017, Barcelona, Spain, October 4–6, 2017, Proceedings (Lecture Notes in Computer Science #10563)
by Yassine Ouhammou Mirjana Ivanovic Alberto Abelló Ladjel BellatrecheThis book constitutes the refereed proceedings of the 7th International Conference on Model and Data Engineering, MEDI 2017, held in Barcelona, Spain, in October 2017. The 20 full papers and 7 short papers presented together with 2 invited talks were carefully reviewed and selected from 69 submissions. The papers are organized in topical sections on domain specific languages; systems and software assessments; modeling and formal methods; data engineering; data exploration and exploitation; modeling heterogeneity and behavior; model-based applications; and ontology-based applications.
Model and Data Engineering: 9th International Conference, MEDI 2019, Toulouse, France, October 28–31, 2019, Proceedings (Lecture Notes in Computer Science #11815)
by Klaus-Dieter Schewe Neeraj Kumar SinghThis book constitutes the refereed proceedings of the 9th International Conference on Model and Data Engineering, MEDI 2019, held in Toulouse, France, in October 2019.The 11 full papers and 7 short papers presented in this book were carefully reviewed and selected from 41 submissions. The papers cover broad research areas on both theoretical, systems and practical aspects. Some papers include mining complex databases, concurrent systems, machine learning, swarm optimization, query processing, semantic web, graph databases, formal methods, model-driven engineering, blockchain, cyber physical systems, IoT applications, and smart systems.
Model Abstraction in Dynamical Systems: Application to Mobile Robot Control (Lecture Notes in Control and Information Sciences)
by Patricia Mellodge Pushkin KachrooThe subject of this book is model abstraction of dynamical systems. The p- mary goal of the work embodied in this book is to design a controller for the mobile robotic car using abstraction. Abstraction provides a means to rep- sent the dynamics of a system using a simpler model while retaining important characteristics of the original system. A second goal of this work is to study the propagation of uncertain initial conditions in the framework of abstraction. The summation of this work is presented in this book. It includes the following: • An overview of the history and current research in mobile robotic control design. • A mathematical review that provides the tools used in this research area. • The development of the robotic car model and both controllers used in the new control design. • A review of abstraction and an extension of these ideas into new system relationship characterizations called traceability and -traceability. • A framework for designing controllers based on abstraction. • An open-loop control design with simulation results. • An investigation of system abstraction with uncertain initial conditions.
Modding Minecraft: Build Your Own Minecraft Mods! (Dummies Junior)
by Guthals Stephen Foster Lindsey HandleyMy kid can mod Minecraft? Oh my! There’s no doubt about it: Minecraft has taken the world by storm. If your resident Minecraft fanatic is ready to take their experience to a new level of play, introduce them to modding! Modding allows Minecraft players to modify the game through code—giving them the ability to add a variety of gameplay changes, ranging from new blocks and items to new mechanisms to craft. It’s pretty much a Minecraft enthusiast’s dream brought to life! In Modding Minecraft, your child will be introduced to three fun and easy-to-complete projects that teach them the coding skills to make the most of their love of Minecraft. Walking young readers through projects that outline how to create games in Minecraft for single or multiple players, this friendly and accessible guide takes the intimidation out of coding and instills confidence in children as young as seven as they complete cool coding projects to mod their favorite game. Full-color, eye-popping graphics and a short page count hold their attention while the goal-based format keeps them focused on the task at hand. Before you know it, your kid will be writing their own mods and having even more fun with Minecraft. Kids can complete the projects on their own or alongside an adult Introduces getting started with a single-player, single-level game Moves readers on to multi-level game playing Finishes with a multi-level, multi-player game based on the classic “capture the flag” game With simple and clear instruction that your child can understand, Modding Minecraft is the perfect place for your kid to dig deep and open up a whole new world in their creative play.
Modding Minecraft: Build Your Own Minecraft Mods! (Dummies Junior)
by Guthals Stephen Foster Lindsey HandleyMy kid can mod Minecraft? Oh my! There’s no doubt about it: Minecraft has taken the world by storm. If your resident Minecraft fanatic is ready to take their experience to a new level of play, introduce them to modding! Modding allows Minecraft players to modify the game through code—giving them the ability to add a variety of gameplay changes, ranging from new blocks and items to new mechanisms to craft. It’s pretty much a Minecraft enthusiast’s dream brought to life! In Modding Minecraft, your child will be introduced to three fun and easy-to-complete projects that teach them the coding skills to make the most of their love of Minecraft. Walking young readers through projects that outline how to create games in Minecraft for single or multiple players, this friendly and accessible guide takes the intimidation out of coding and instills confidence in children as young as seven as they complete cool coding projects to mod their favorite game. Full-color, eye-popping graphics and a short page count hold their attention while the goal-based format keeps them focused on the task at hand. Before you know it, your kid will be writing their own mods and having even more fun with Minecraft. Kids can complete the projects on their own or alongside an adult Introduces getting started with a single-player, single-level game Moves readers on to multi-level game playing Finishes with a multi-level, multi-player game based on the classic “capture the flag” game With simple and clear instruction that your child can understand, Modding Minecraft is the perfect place for your kid to dig deep and open up a whole new world in their creative play.