Author: Mohammad Ayoub Khan
Publisher: Springer
ISBN: 3642408885
Category : Technology & Engineering
Languages : en
Pages : 332
Book Description
Nowadays embedded and real-time systems contain complex software. The complexity of embedded systems is increasing, and the amount and variety of software in the embedded products are growing. This creates a big challenge for embedded and real-time software development processes and there is a need to develop separate metrics and benchmarks. “Embedded and Real Time System Development: A Software Engineering Perspective: Concepts, Methods and Principles” presents practical as well as conceptual knowledge of the latest tools, techniques and methodologies of embedded software engineering and real-time systems. Each chapter includes an in-depth investigation regarding the actual or potential role of software engineering tools in the context of the embedded system and real-time system. The book presents state-of-the art and future perspectives with industry experts, researchers, and academicians sharing ideas and experiences including surrounding frontier technologies, breakthroughs, innovative solutions and applications. The book is organized into four parts “Embedded Software Development Process”, “Design Patterns and Development Methodology”, “Modelling Framework” and “Performance Analysis, Power Management and Deployment” with altogether 12 chapters. The book is aiming at (i) undergraduate students and postgraduate students conducting research in the areas of embedded software engineering and real-time systems; (ii) researchers at universities and other institutions working in these fields; and (iii) practitioners in the R&D departments of embedded system. It can be used as an advanced reference for a course taught at the postgraduate level in embedded software engineering and real-time systems.
Scheduling and Reconfiguration of Real-Time Systems
Author: Xi Wang
Publisher: Springer Nature
ISBN: 3031419693
Category : Computers
Languages : en
Pages : 218
Book Description
This book presents a methodology for the real-time scheduling problems of real-time systems (RTS) from the viewpoint of control theory. Generally, any system can be viewed as an RTS if it performs real-time application functions and behaves correctly depending on given logical activities and satisfying specified deadlines for the activities. This monograph provides broad views and detailed introductions to supervisory control theory (SCT) and its application in real-time scheduling and reconfiguration. Based on three popular SCT modelling frameworks, discrete-event system (DES), timed DES (TDES), and state-tree structures (STS), the authors provide RTS modelling frameworks; thereafter, SCT is used to find their safe execution sequences. As the main contribution, we use (untimed) DES events to represent the execution and preemption of each individual RTS task. This modelling formalism brings the possibilities to model the preemptions of tasks’ executions. Furthermore, in some cases, priorities cannot be assigned to real-time tasks. In order to solve this problem, a matrix-based priority-free conditional-preemption (PFCP) relation is provided, which generalizes fixed-priority (FP) RTS scheduling. As a natural extension, a generalized modular modelling framework is presented to model the task parameters instead of the global real-time task. The modular models are taken to be generic entities, which also considers the exact execution time of real-time tasks. STS are undoubtedly recognized as a computationally efficient SCT framework which manages the state explosion problem significantly. Hence, building on the (untimed) modular RTS models, a novel STS-based RTS modeling framework is formulated, by assigning dynamic priorities as specified optimality criteria, which can be utilized to model sporadic RTS processing both sporadic and (multi-period) periodic tasks, providing a small set of the safe execution sequences which rank at the top.
Publisher: Springer Nature
ISBN: 3031419693
Category : Computers
Languages : en
Pages : 218
Book Description
This book presents a methodology for the real-time scheduling problems of real-time systems (RTS) from the viewpoint of control theory. Generally, any system can be viewed as an RTS if it performs real-time application functions and behaves correctly depending on given logical activities and satisfying specified deadlines for the activities. This monograph provides broad views and detailed introductions to supervisory control theory (SCT) and its application in real-time scheduling and reconfiguration. Based on three popular SCT modelling frameworks, discrete-event system (DES), timed DES (TDES), and state-tree structures (STS), the authors provide RTS modelling frameworks; thereafter, SCT is used to find their safe execution sequences. As the main contribution, we use (untimed) DES events to represent the execution and preemption of each individual RTS task. This modelling formalism brings the possibilities to model the preemptions of tasks’ executions. Furthermore, in some cases, priorities cannot be assigned to real-time tasks. In order to solve this problem, a matrix-based priority-free conditional-preemption (PFCP) relation is provided, which generalizes fixed-priority (FP) RTS scheduling. As a natural extension, a generalized modular modelling framework is presented to model the task parameters instead of the global real-time task. The modular models are taken to be generic entities, which also considers the exact execution time of real-time tasks. STS are undoubtedly recognized as a computationally efficient SCT framework which manages the state explosion problem significantly. Hence, building on the (untimed) modular RTS models, a novel STS-based RTS modeling framework is formulated, by assigning dynamic priorities as specified optimality criteria, which can be utilized to model sporadic RTS processing both sporadic and (multi-period) periodic tasks, providing a small set of the safe execution sequences which rank at the top.
Dynamic Reconfiguration in Real-Time Systems
Author: Weixun Wang
Publisher: Springer Science & Business Media
ISBN: 1461402786
Category : Technology & Engineering
Languages : en
Pages : 232
Book Description
Given the widespread use of real-time multitasking systems, there are tremendous optimization opportunities if reconfigurable computing can be effectively incorporated while maintaining performance and other design constraints of typical applications. The focus of this book is to describe the dynamic reconfiguration techniques that can be safely used in real-time systems. This book provides comprehensive approaches by considering synergistic effects of computation, communication as well as storage together to significantly improve overall performance, power, energy and temperature.
Publisher: Springer Science & Business Media
ISBN: 1461402786
Category : Technology & Engineering
Languages : en
Pages : 232
Book Description
Given the widespread use of real-time multitasking systems, there are tremendous optimization opportunities if reconfigurable computing can be effectively incorporated while maintaining performance and other design constraints of typical applications. The focus of this book is to describe the dynamic reconfiguration techniques that can be safely used in real-time systems. This book provides comprehensive approaches by considering synergistic effects of computation, communication as well as storage together to significantly improve overall performance, power, energy and temperature.
Embedded and Real Time System Development: A Software Engineering Perspective
Author: Mohammad Ayoub Khan
Publisher: Springer
ISBN: 3642408885
Category : Technology & Engineering
Languages : en
Pages : 332
Book Description
Nowadays embedded and real-time systems contain complex software. The complexity of embedded systems is increasing, and the amount and variety of software in the embedded products are growing. This creates a big challenge for embedded and real-time software development processes and there is a need to develop separate metrics and benchmarks. “Embedded and Real Time System Development: A Software Engineering Perspective: Concepts, Methods and Principles” presents practical as well as conceptual knowledge of the latest tools, techniques and methodologies of embedded software engineering and real-time systems. Each chapter includes an in-depth investigation regarding the actual or potential role of software engineering tools in the context of the embedded system and real-time system. The book presents state-of-the art and future perspectives with industry experts, researchers, and academicians sharing ideas and experiences including surrounding frontier technologies, breakthroughs, innovative solutions and applications. The book is organized into four parts “Embedded Software Development Process”, “Design Patterns and Development Methodology”, “Modelling Framework” and “Performance Analysis, Power Management and Deployment” with altogether 12 chapters. The book is aiming at (i) undergraduate students and postgraduate students conducting research in the areas of embedded software engineering and real-time systems; (ii) researchers at universities and other institutions working in these fields; and (iii) practitioners in the R&D departments of embedded system. It can be used as an advanced reference for a course taught at the postgraduate level in embedded software engineering and real-time systems.
Publisher: Springer
ISBN: 3642408885
Category : Technology & Engineering
Languages : en
Pages : 332
Book Description
Nowadays embedded and real-time systems contain complex software. The complexity of embedded systems is increasing, and the amount and variety of software in the embedded products are growing. This creates a big challenge for embedded and real-time software development processes and there is a need to develop separate metrics and benchmarks. “Embedded and Real Time System Development: A Software Engineering Perspective: Concepts, Methods and Principles” presents practical as well as conceptual knowledge of the latest tools, techniques and methodologies of embedded software engineering and real-time systems. Each chapter includes an in-depth investigation regarding the actual or potential role of software engineering tools in the context of the embedded system and real-time system. The book presents state-of-the art and future perspectives with industry experts, researchers, and academicians sharing ideas and experiences including surrounding frontier technologies, breakthroughs, innovative solutions and applications. The book is organized into four parts “Embedded Software Development Process”, “Design Patterns and Development Methodology”, “Modelling Framework” and “Performance Analysis, Power Management and Deployment” with altogether 12 chapters. The book is aiming at (i) undergraduate students and postgraduate students conducting research in the areas of embedded software engineering and real-time systems; (ii) researchers at universities and other institutions working in these fields; and (iii) practitioners in the R&D departments of embedded system. It can be used as an advanced reference for a course taught at the postgraduate level in embedded software engineering and real-time systems.
Intelligent Software Methodologies, Tools and Techniques
Author: Hamido Fujita
Publisher: Springer
ISBN: 3319226894
Category : Computers
Languages : en
Pages : 639
Book Description
This book constitutes the best papers selection from the proceedings of the 14th International Conference on Intelligent Software Methodologies, Tools and Techniques, SoMeT 2015, held in Naples, Italy, in September 2015. The 47 full papers presented together with one short paper were carefully reviewed and selected from 118 submissions. The papers are organized in topical sections on embedded and mobile software systems, theory and application; real-time systems; requirement engineering, high-assurance and testing system; social networks and big data; cloud computing and semantic web; artificial intelligence techniques and intelligent system design; software development and integration; security and software methodologies for reliable software design; new software techniques in image processing and computer graphics; software applications systems for medical health care.
Publisher: Springer
ISBN: 3319226894
Category : Computers
Languages : en
Pages : 639
Book Description
This book constitutes the best papers selection from the proceedings of the 14th International Conference on Intelligent Software Methodologies, Tools and Techniques, SoMeT 2015, held in Naples, Italy, in September 2015. The 47 full papers presented together with one short paper were carefully reviewed and selected from 118 submissions. The papers are organized in topical sections on embedded and mobile software systems, theory and application; real-time systems; requirement engineering, high-assurance and testing system; social networks and big data; cloud computing and semantic web; artificial intelligence techniques and intelligent system design; software development and integration; security and software methodologies for reliable software design; new software techniques in image processing and computer graphics; software applications systems for medical health care.
Handbook of Energy-Aware and Green Computing - Two Volume Set
Author: Ishfaq Ahmad
Publisher: CRC Press
ISBN: 1482254441
Category : Computers
Languages : en
Pages : 1216
Book Description
Implementing energy-efficient CPUs and peripherals as well as reducing resource consumption have become emerging trends in computing. As computers increase in speed and power, their energy issues become more and more prevalent. The need to develop and promote environmentally friendly computer technologies and systems has also come to the forefront
Publisher: CRC Press
ISBN: 1482254441
Category : Computers
Languages : en
Pages : 1216
Book Description
Implementing energy-efficient CPUs and peripherals as well as reducing resource consumption have become emerging trends in computing. As computers increase in speed and power, their energy issues become more and more prevalent. The need to develop and promote environmentally friendly computer technologies and systems has also come to the forefront
From Model-Driven Design to Resource Management for Distributed Embedded Systems
Author: Bernd Kleinjohann
Publisher: Springer
ISBN: 0387393625
Category : Computers
Languages : en
Pages : 286
Book Description
From Model-Driven Design to Resource Management for Distributed Embedded Systems presents 16 original contributions and 12 invited papers presented at the Working Conference on Distributed and Parallel Embedded Systems - DIPES 2006, sponsored by the International Federation for Information Processing - IFIP. Coverage includes model-driven design, testing and evolution of embedded systems, timing analysis and predictability, scheduling, allocation, communication and resource management in distributed real-time systems.
Publisher: Springer
ISBN: 0387393625
Category : Computers
Languages : en
Pages : 286
Book Description
From Model-Driven Design to Resource Management for Distributed Embedded Systems presents 16 original contributions and 12 invited papers presented at the Working Conference on Distributed and Parallel Embedded Systems - DIPES 2006, sponsored by the International Federation for Information Processing - IFIP. Coverage includes model-driven design, testing and evolution of embedded systems, timing analysis and predictability, scheduling, allocation, communication and resource management in distributed real-time systems.
The Network Control Center
Author:
Publisher:
ISBN:
Category : Database management
Languages : en
Pages : 16
Book Description
Publisher:
ISBN:
Category : Database management
Languages : en
Pages : 16
Book Description
Reconfigurable Embedded Control Systems: Applications for Flexibility and Agility
Author: Khalgui, Mohamed
Publisher: IGI Global
ISBN: 1609600886
Category : Computers
Languages : en
Pages : 651
Book Description
"This book addresses the development of reconfigurable embedded control systems and describes various problems in this important research area, which include static and dynamic (manual or automatic) reconfigurations, multi-agent architectures, modeling and verification, component-based approaches, architecture description languages, distributed reconfigurable architectures, real-time and low power scheduling, execution models, and the implementation of such systems"--
Publisher: IGI Global
ISBN: 1609600886
Category : Computers
Languages : en
Pages : 651
Book Description
"This book addresses the development of reconfigurable embedded control systems and describes various problems in this important research area, which include static and dynamic (manual or automatic) reconfigurations, multi-agent architectures, modeling and verification, component-based approaches, architecture description languages, distributed reconfigurable architectures, real-time and low power scheduling, execution models, and the implementation of such systems"--
Embedded Computing Systems: Applications, Optimization, and Advanced Design
Author: Khalgui, Mohamed
Publisher: IGI Global
ISBN: 1466639237
Category : Computers
Languages : en
Pages : 558
Book Description
Embedded computing systems play an important and complex role in the functionality of electronic devices. With our daily routines becoming more reliant on electronics for personal and professional use, the understanding of these computing systems is crucial. Embedded Computing Systems: Applications, Optimization, and Advanced Design brings together theoretical and technical concepts of intelligent embedded control systems and their use in hardware and software architectures. By highlighting formal modeling, execution models, and optimal implementations, this reference source is essential for experts, researchers, and technical supporters in the industry and academia.
Publisher: IGI Global
ISBN: 1466639237
Category : Computers
Languages : en
Pages : 558
Book Description
Embedded computing systems play an important and complex role in the functionality of electronic devices. With our daily routines becoming more reliant on electronics for personal and professional use, the understanding of these computing systems is crucial. Embedded Computing Systems: Applications, Optimization, and Advanced Design brings together theoretical and technical concepts of intelligent embedded control systems and their use in hardware and software architectures. By highlighting formal modeling, execution models, and optimal implementations, this reference source is essential for experts, researchers, and technical supporters in the industry and academia.
Information Technology in Biomedicine
Author: Ewa Pietka
Publisher: Springer
ISBN: 3319912119
Category : Technology & Engineering
Languages : en
Pages : 618
Book Description
ITiB’2018 is the 6th Conference on Information Technology in Biomedicine, hosted every two years by the Department of Informatics & Medical Devices, Faculty of Biomedical Engineering, Silesian University of Technology. The Conference is organized under the auspices of the Committee on Biocybernetics and Biomedical Engineering of the Polish Academy of Sciences. The meeting has become an established event that helps to address the demand for fast and reliable technologies capable of processing data and delivering results in a user-friendly, timely and mobile manner. Many of these areas are recognized as research and development frontiers in employing new technology in the clinical setting. Technological assistance can be found in prevention, diagnosis, treatment, and rehabilitation alike. Homecare support for any type of disability may improve standard of living and make people’s lives safer and more comfortable. The book includes the following sections: Ø Image Processing Ø Multimodal Imaging and Computer-aided Surgery Ø Computer-aided Diagnosis Ø Signal Processing and Medical Devices Ø Bioinformatics Ø Modelling & Simulation Ø Analytics in Action on the SAS Platform Ø Assistive Technologies and Affective Computing (ATAC)
Publisher: Springer
ISBN: 3319912119
Category : Technology & Engineering
Languages : en
Pages : 618
Book Description
ITiB’2018 is the 6th Conference on Information Technology in Biomedicine, hosted every two years by the Department of Informatics & Medical Devices, Faculty of Biomedical Engineering, Silesian University of Technology. The Conference is organized under the auspices of the Committee on Biocybernetics and Biomedical Engineering of the Polish Academy of Sciences. The meeting has become an established event that helps to address the demand for fast and reliable technologies capable of processing data and delivering results in a user-friendly, timely and mobile manner. Many of these areas are recognized as research and development frontiers in employing new technology in the clinical setting. Technological assistance can be found in prevention, diagnosis, treatment, and rehabilitation alike. Homecare support for any type of disability may improve standard of living and make people’s lives safer and more comfortable. The book includes the following sections: Ø Image Processing Ø Multimodal Imaging and Computer-aided Surgery Ø Computer-aided Diagnosis Ø Signal Processing and Medical Devices Ø Bioinformatics Ø Modelling & Simulation Ø Analytics in Action on the SAS Platform Ø Assistive Technologies and Affective Computing (ATAC)