Author: Luigi Sassoli
Publisher:
ISBN:
Category :
Languages : en
Pages :
Book Description
Correctness Verification and Performance Evaluation of Real-time Systems
Verification and Evaluation of Computer and Communication Systems
Author: Belgacem Ben Hedia
Publisher: Springer Nature
ISBN: 3030659550
Category : Computers
Languages : en
Pages : 289
Book Description
This book constitutes the proceedings of the 14th International Conference on Verification and Evaluation of Computer and Communication Systems, VECoS 2020, which was supposed to be held in Xi’an, China, in October 2020, but was held virtually instead. The 19 full papers and 1 short paper presented in this volume were carefully reviewed and selected from 60 submissions. The aim of the VECoS conference is to bring together researchers and practitioners in the areas of verification, control, performance, and dependability evaluation in order to discuss state of the art and challenges in modern computer and communication systems in which functional and extra-functional properties are strongly interrelated. Thus, the main motivation for VECoS is to encourage the cross-fertilization between various formal verification and evaluation approaches, methods and techniques, and especially those developed for concurrent and distributed hardware/software systems. The papers are organized in the following topical sections: petri-net, simulation, and scheduling; formal modeling and verification, testing; and artificial intelligence and machine learning.
Publisher: Springer Nature
ISBN: 3030659550
Category : Computers
Languages : en
Pages : 289
Book Description
This book constitutes the proceedings of the 14th International Conference on Verification and Evaluation of Computer and Communication Systems, VECoS 2020, which was supposed to be held in Xi’an, China, in October 2020, but was held virtually instead. The 19 full papers and 1 short paper presented in this volume were carefully reviewed and selected from 60 submissions. The aim of the VECoS conference is to bring together researchers and practitioners in the areas of verification, control, performance, and dependability evaluation in order to discuss state of the art and challenges in modern computer and communication systems in which functional and extra-functional properties are strongly interrelated. Thus, the main motivation for VECoS is to encourage the cross-fertilization between various formal verification and evaluation approaches, methods and techniques, and especially those developed for concurrent and distributed hardware/software systems. The papers are organized in the following topical sections: petri-net, simulation, and scheduling; formal modeling and verification, testing; and artificial intelligence and machine learning.
Modeling and Verification of Real-time Systems
Author: Nicolas Navet
Publisher: John Wiley & Sons
ISBN: 1118623959
Category : Science
Languages : en
Pages : 283
Book Description
This title is devoted to presenting some of the most important concepts and techniques for describing real-time systems and analyzing their behavior in order to enable the designer to achieve guarantees of temporal correctness. Topics addressed include mathematical models of real-time systems and associated formal verification techniques such as model checking, probabilistic modeling and verification, programming and description languages, and validation approaches based on testing. With contributions from authors who are experts in their respective fields, this will provide the reader with the state of the art in formal verification of real-time systems and an overview of available software tools.
Publisher: John Wiley & Sons
ISBN: 1118623959
Category : Science
Languages : en
Pages : 283
Book Description
This title is devoted to presenting some of the most important concepts and techniques for describing real-time systems and analyzing their behavior in order to enable the designer to achieve guarantees of temporal correctness. Topics addressed include mathematical models of real-time systems and associated formal verification techniques such as model checking, probabilistic modeling and verification, programming and description languages, and validation approaches based on testing. With contributions from authors who are experts in their respective fields, this will provide the reader with the state of the art in formal verification of real-time systems and an overview of available software tools.
Software Engineering and Formal Methods
Author: Carla Ferreira
Publisher: Springer Nature
ISBN: 3031471156
Category : Computers
Languages : en
Pages : 386
Book Description
This book constitutes the refereed proceedings of the 21st International Conference on Software Engineering and Formal Methods, SEFM 2023, held in Eindhoven, The Netherlands, during November 6-10, 2023. The 18 regular papers presented in this book, together with 1 invited paper and 1 tool paper, were carefully reviewed and selected from 41 submissions. The SEFM conference series aims to bring together researchers and practitioners from academia, industry and government, to advance the state of the art in formal methods, to facilitate their uptake in the software industry, and to encourage their integration within practical software engineering methods and tools.
Publisher: Springer Nature
ISBN: 3031471156
Category : Computers
Languages : en
Pages : 386
Book Description
This book constitutes the refereed proceedings of the 21st International Conference on Software Engineering and Formal Methods, SEFM 2023, held in Eindhoven, The Netherlands, during November 6-10, 2023. The 18 regular papers presented in this book, together with 1 invited paper and 1 tool paper, were carefully reviewed and selected from 41 submissions. The SEFM conference series aims to bring together researchers and practitioners from academia, industry and government, to advance the state of the art in formal methods, to facilitate their uptake in the software industry, and to encourage their integration within practical software engineering methods and tools.
Reconfigurable Embedded Control Systems: Applications for Flexibility and Agility
Author: Khalgui, Mohamed
Publisher: IGI Global
ISBN: 1609600886
Category : Computers
Languages : en
Pages : 652
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 : 652
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"--
Control and Automation, and Energy System Engineering
Author: Tai-hoon Kim
Publisher: Springer Science & Business Media
ISBN: 3642260098
Category : Computers
Languages : en
Pages : 404
Book Description
This book comprises selected papers of the International Conferences, CA and CES3 2011, held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, in December 2011. The papers presented were carefully reviewed and selected from numerous submissions and focuse on the various aspects of control and automation, and circuits, control, communication, electricity, electronics, energy, system, signal and simulation.
Publisher: Springer Science & Business Media
ISBN: 3642260098
Category : Computers
Languages : en
Pages : 404
Book Description
This book comprises selected papers of the International Conferences, CA and CES3 2011, held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, in December 2011. The papers presented were carefully reviewed and selected from numerous submissions and focuse on the various aspects of control and automation, and circuits, control, communication, electricity, electronics, energy, system, signal and simulation.
Reliable Software Technologies – Ada-Europe 2011
Author: Alexander Romanovsky
Publisher: Springer Science & Business Media
ISBN: 3642213375
Category : Computers
Languages : en
Pages : 239
Book Description
This book constitutes the refereed proceedings of the 16th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2011, held in Edinburgh, UK, on June 20-24, 2011. The revised 12 papers presented together with several invited contributions were carefully reviewed and selected from 30 submissions. Topics of interest to the conference are methods and techniques for software development and maintenance ; software architectures; enabling technologies; software quality; theory and practice of high-integrity systems; embedded systems; mainstream and emerging applications; experience reports; the future of Ada.
Publisher: Springer Science & Business Media
ISBN: 3642213375
Category : Computers
Languages : en
Pages : 239
Book Description
This book constitutes the refereed proceedings of the 16th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2011, held in Edinburgh, UK, on June 20-24, 2011. The revised 12 papers presented together with several invited contributions were carefully reviewed and selected from 30 submissions. Topics of interest to the conference are methods and techniques for software development and maintenance ; software architectures; enabling technologies; software quality; theory and practice of high-integrity systems; embedded systems; mainstream and emerging applications; experience reports; the future of Ada.
Computer Performance Evaluation
Author: Günter Haring
Publisher: Springer Science & Business Media
ISBN: 9783540580218
Category : Computers
Languages : en
Pages : 484
Book Description
Performance evaluation, reliability, and performability are key factors in the development and improvement of computer systems and computer networks. This volume contains the 25 accepted and invited papers presented at the 7th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation. The papers focus on new techniques and the extension of existing techniques for performance and reliability analysis. Tools to support performance and reliability modelling and measurement in all kinds of applications and environments are presented, and the practicability and generality of the approaches are emphasized. The volume summarizes the state of the art and points out future demands and challenges, and will interest both scientists and practitioners.
Publisher: Springer Science & Business Media
ISBN: 9783540580218
Category : Computers
Languages : en
Pages : 484
Book Description
Performance evaluation, reliability, and performability are key factors in the development and improvement of computer systems and computer networks. This volume contains the 25 accepted and invited papers presented at the 7th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation. The papers focus on new techniques and the extension of existing techniques for performance and reliability analysis. Tools to support performance and reliability modelling and measurement in all kinds of applications and environments are presented, and the practicability and generality of the approaches are emphasized. The volume summarizes the state of the art and points out future demands and challenges, and will interest both scientists and practitioners.
Business Process Management
Author: Marlon Dumas
Publisher: Springer Science & Business Media
ISBN: 3540857575
Category : Computers
Languages : en
Pages : 411
Book Description
This book constitutes the refereed proceedings of the 6th International Conference on Business Process Management, BPM 2008, held in Milan, Italy, in September 2008. The volume contains 20 revised full research papers and 3 industrial papers carefully reviewed and selected from 154 submissions, as well as 8 prototype demonstration papers selected out of 15 demo submissions. In addition three invited keynote papers are presented. The conference has a record of attracting innovative research of the highest quality related to all aspects of BPM, including theory, frameworks, methods, techniques, architectures, standards, and empirical findings.
Publisher: Springer Science & Business Media
ISBN: 3540857575
Category : Computers
Languages : en
Pages : 411
Book Description
This book constitutes the refereed proceedings of the 6th International Conference on Business Process Management, BPM 2008, held in Milan, Italy, in September 2008. The volume contains 20 revised full research papers and 3 industrial papers carefully reviewed and selected from 154 submissions, as well as 8 prototype demonstration papers selected out of 15 demo submissions. In addition three invited keynote papers are presented. The conference has a record of attracting innovative research of the highest quality related to all aspects of BPM, including theory, frameworks, methods, techniques, architectures, standards, and empirical findings.
Computer Performance Evaluation
Author: Thomas E. Bell
Publisher:
ISBN:
Category : Electronic digital computers
Languages : en
Pages : 184
Book Description
Publisher:
ISBN:
Category : Electronic digital computers
Languages : en
Pages : 184
Book Description