Jiacun Wang - Böcker

Formal Methods in Computer Science gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification. The first part introduces some fundamentals in formal methods, including set theory, functions, finite state machines, and regular expressions. The second part focuses on logic, a powerful formal language in specifying systems properties. It covers propositional logic, predicate logic, temporal logic, and model checking. The third part presents Petri nets, the most popular formal language in system behavior modeling. In additional to regular Petri nets, this part also examines timed Petri nets and high-level Petri nets.The textbook is ideal for undergraduate or graduate courses in computer engineering, software engineering, computer science, and information technology programs. Parts of the book are useful reading material in undergraduate computer course and as a reference guide for students researching the area of formal system specification and validation.Features* Introduces a comprehensive, yet manageable set of formal techniques for computer science students* Stresses real-world application value of each formal technique* Offers a good set of exercises which help students better understand the presented techniques* Also offers a prepared source code for downloading and non-commercial use

Driven by the request for increased productivity, flexibility, and competitiveness, modern civilization increasingly has created high-performance discrete event dynamic systems (DEDSs). These systems exhibit concurrent, sequential, competitive activities among their components. They are often complex and large in scale, and necessarily flexible and thus highly capital-intensive. Examples of systems are manufacturing systems, communication networks, traffic and logistic systems, and military command and control systems. Modelling and performance evaluation play a vital role in the design and operation of such high-performance DEDSs and thus have received widespread attention from researchers over the past two decades. One methodology resulting from this effort is based on timed Petri nets and related graphical and mathematical tools. The popularity that Petri nets have been gaining in modelling of DEDSs is due to their powerful representational ability of concurrency and synchronization; however these properties of DEDSs cannot be expressed easily in traditional formalisms developed for analysis of "classical" systems with sequential behaviours.This text introduces the theories and applications of timed Petri nets systematically. Moreover, it also presents many practical applications in addition to theoretical developments, together with the latest research results and industrial applications of timed Petri nets. The book is intended for use by researchers and practitioners in the area of Discrete Event Dynamic Systems.

Offering comprehensive coverage of the convergence of real-time embedded systems scheduling, resource access control, software design and development, and high-level system modeling, analysis and verification Following an introductory overview, Dr. Wang delves into the specifics of hardware components, including processors, memory, I/O devices and architectures, communication structures, peripherals, and characteristics of real-time operating systems. Later chapters are dedicated to real-time task scheduling algorithms and resource access control policies, as well as priority-inversion control and deadlock avoidance. Concurrent system programming and POSIX programming for real-time systems are covered, as are finite state machines and Time Petri nets. Of special interest to software engineers will be the chapter devoted to model checking, in which the author discusses temporal logic and the NuSMV model checking tool, as well as a chapter treating real-time software design with UML. The final portion of the book explores practical issues of software reliability, aging, rejuvenation, security, safety, and power management. In addition, the book: Explains real-time embedded software modeling and design with finite state machines, Petri nets, and UML, and real-time constraints verification with the model checking tool, NuSMVFeatures real-world examples in finite state machines, model checking, real-time system design with UML, and moreCovers embedded computer programing, designing for reliability, and designing for safetyExplains how to make engineering trade-offs of power use and performanceInvestigates practical issues concerning software reliability, aging, rejuvenation, security, and power managementReal-Time Embedded Systems is a valuable resource for those responsible for real-time and embedded software design, development, and management. It is also an excellent textbook for graduate courses in computer engineering, computer science, information technology, and software engineering on embedded and real-time software systems, and for undergraduate computer and software engineering courses.

Applicable to any problem that requires a finite number of solutions, finite state-based models (also called finite state machines or finite state automata) have found wide use in various areas of computer science and engineering. Handbook of Finite State Based Models and Applications provides a complete collection of introductory materials on finite state theories, algorithms, and the latest domain applications. For beginners, the book is a handy reference for quickly looking up model details. For more experienced researchers, it is suitable as a source of in-depth study in this area. The book first introduces the fundamentals of automata theory, including regular expressions, as well as widely used automata, such as transducers, tree automata, quantum automata, and timed automata. It then presents algorithms for the minimization and incremental construction of finite automata and describes Esterel, an automata-based synchronous programming language for embedded system software development.Moving on to applications, the book explores regular path queries on graph-structured data, timed automata in model checking security protocols, pattern matching, compiler design, and XML processing. It also covers other finite state-based modeling approaches and applications, including Petri nets, statecharts, temporal logic, and UML state machine diagrams.

Applicable to any problem that requires a finite number of solutions, finite state-based models (also called finite state machines or finite state automata) have found wide use in various areas of computer science and engineering. Handbook of Finite State Based Models and Applications provides a complete collection of introductory materials on finite state theories, algorithms, and the latest domain applications. For beginners, the book is a handy reference for quickly looking up model details. For more experienced researchers, it is suitable as a source of in-depth study in this area. The book first introduces the fundamentals of automata theory, including regular expressions, as well as widely used automata, such as transducers, tree automata, quantum automata, and timed automata. It then presents algorithms for the minimization and incremental construction of finite automata and describes Esterel, an automata-based synchronous programming language for embedded system software development.Moving on to applications, the book explores regular path queries on graph-structured data, timed automata in model checking security protocols, pattern matching, compiler design, and XML processing. It also covers other finite state-based modeling approaches and applications, including Petri nets, statecharts, temporal logic, and UML state machine diagrams.

Driven by the request for increased productivity, flexibility, and competitiveness, modern civilization increasingly has created high-performance discrete event dynamic systems (DEDSs). These systems exhibit concurrent, sequential, competitive activities among their components. They are often complex and large in scale, and necessarily flexible and thus highly capital-intensive. Examples of systems are manufacturing systems, communication networks, traffic and logistic systems, and military command and control systems. Modeling and performance evaluation play a vital role in the design and operation of such high-performance DEDSs and thus have received widespread attention from researchers over the past two decades. One methodology resulting from this effort is based on timed Petri nets and related graphical and mathematical tools. The popularity that Petri nets have been gaining in modeling of DEDSs is due to their powerful representational ability of concurrency and synchronization; however these properties of DEDSs cannot be expressed easily in traditional formalisms developed for analysis of `classical' systems with sequential behaviors. This book introduces the theories and applications of timed Petri nets systematically. Moreover, it also presents many practical applications in addition to theoretical developments, together with the latest research results and industrial applications of timed Petri nets. Timed Petri Nets: Theory and Application is intended for use by researchers and practitioners in the area of Discrete Event Dynamic Systems.

Formal Methods in Computer Science gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification. The first part introduces some fundamentals in formal methods, including set theory, functions, finite state machines, and regular expressions. The second part focuses on logic, a powerful formal language in specifying systems properties. It covers propositional logic, predicate logic, temporal logic, and model checking. The third part presents Petri nets, the most popular formal language in system behavior modeling. In additional to regular Petri nets, this part also examines timed Petri nets and high-level Petri nets.The textbook is ideal for undergraduate or graduate courses in computer engineering, software engineering, computer science, and information technology programs. Parts of the book are useful reading material in undergraduate computer course and as a reference guide for students researching the area of formal system specification and validation.Features* Introduces a comprehensive, yet manageable set of formal techniques for computer science students* Stresses real-world application value of each formal technique* Offers a good set of exercises which help students better understand the presented techniques* Also offers a prepared source code for downloading and non-commercial use

The book includes research papers on current developments in the field of soft computing and signal processing, selected from papers presented at the International Conference on Soft Computing and Signal Processing (ICSCSP 2018). It features papers on current topics, such as soft sets, rough sets, fuzzy logic, neural networks, genetic algorithms and machine learning. It also discusses various aspects of these topics, like technologies, product implementation, and application issues.

The book presents selected research papers on current developments in the field of soft computing and signal processing from the International Conference on Soft Computing and Signal Processing (ICSCSP 2018). It includes papers on current topics such as soft sets, rough sets, fuzzy logic, neural networks, genetic algorithms and machine learning, discussing various aspects of these topics, like technological, product implementation, contemporary research as well as application issues.

This book presents selected research papers on current developments in the fields of soft computing and signal processing from the Second International Conference on Soft Computing and Signal Processing (ICSCSP 2019).

This book presents selected research papers on current developments in the fields of soft computing and signal processing from the Third International Conference on Soft Computing and Signal Processing (ICSCSP 2020).

This book presents selected research papers on current developments in the fields of soft computing and signal processing from the Fourth International Conference on Soft Computing and Signal Processing (ICSCSP 2021).

This book presents selected research papers on current developments in the fields of soft computing and signal processing from the Fifth International Conference on Soft Computing and Signal Processing (ICSCSP 2022).

This book presents selected research papers on current developments in the fields of soft computing and signal processing from the Fifth International Conference on Soft Computing and Signal Processing (ICSCSP 2022).

This book presents selected research papers on current developments in the fields of soft computing and signal processing from the Third International Conference on Soft Computing and Signal Processing (ICSCSP 2020).

This book is a collection of best selected research papers presented at Fourth International Conference on Intelligent Systems and Sustainable Computing (ICISSC 2024), held in School of Engineering, Malla Reddy University, Hyderabad, India, during December 20–21, 2024. This book covers recent research in intelligent systems, intelligent business systems, soft computing, swarm intelligence, artificial intelligence and neural networks, data mining and data warehousing, cloud computing, distributed computing, big data analytics, Internet of things (IoT), machine learning, speech processing, sustainable high-performance systems, VLSI and embedded systems, image and video processing and signal processing and communication. This book is presented in two volumes.

This book presents selected research papers on current developments in the fields of soft computing and signal processing from the Seventh International Conference on Soft Computing and Signal Processing (ICSCSP 2024), organized by Malla Reddy College of Engineering & Technology, Hyderabad, India.

This book is a collection of best-selected research papers presented at Third International Conference on Intelligent Systems and Sustainable Computing (ICISSC 2023), held in School of Engineering, Malla Reddy University, Hyderabad, India, during December 22–23, 2023. The book covers recent research in intelligent systems, intelligent business systems, soft computing, swarm intelligence, artificial intelligence and neural networks, data mining and data warehousing, cloud computing, distributed computing, big data analytics, Internet of Things (IoT), machine learning, speech processing, sustainable high-performance systems, VLSI and embedded systems, image and video processing, and signal processing and communication.Chapters 7 and 32 in this book is available open access under a CC BY 4.0 license at link.springer.com.

This book is a collection of best selected research papers presented at Second International Conference on Intelligent Systems and Sustainable Computing (ICISSC 2022), held in School of Engineering, Malla Reddy University, Hyderabad, India, during December 16–17, 2022. The book covers recent research in intelligent systems, intelligent business systems, soft computing, swarm intelligence, artificial intelligence and neural networks, data mining and data warehousing, cloud computing, distributed computing, big data analytics, Internet of things (IoT), machine learning, speech processing, sustainable high-performance systems, VLSI and embedded systems, image and video processing and signal processing and communication.

This book is a collection of best selected research papers presented at Second International Conference on Intelligent Systems and Sustainable Computing (ICISSC 2022), held in School of Engineering, Malla Reddy University, Hyderabad, India, during December 16–17, 2022. The book covers recent research in intelligent systems, intelligent business systems, soft computing, swarm intelligence, artificial intelligence and neural networks, data mining and data warehousing, cloud computing, distributed computing, big data analytics, Internet of things (IoT), machine learning, speech processing, sustainable high-performance systems, VLSI and embedded systems, image and video processing and signal processing and communication.