Journal of VLSI Signal Processing Systems
Counting for Satisfiability by Inverting Resolution
Artificial Intelligence Review
IEEE Transactions on Software Engineering
Automatic Debugging of Real-Time Systems Based on Incremental Satisfiability Counting
IEEE Transactions on Computers
Analysis of VME-Bus communication protocol - RTCP-net approach
Real-Time Systems
MISE '07 Proceedings of the International Workshop on Modeling in Software Engineering
Decision Tables in Petri Net Models
RSEISP '07 Proceedings of the international conference on Rough Sets and Intelligent Systems Paradigms
A Framework for Distributing Real-Time Functions
FORMATS '08 Proceedings of the 6th international conference on Formal Modeling and Analysis of Timed Systems
TCPN-Based Tool for Timing Constraints Modelling and Validation
Proceedings of the 2005 conference on Software Engineering: Evolution and Emerging Technologies
Deadline fault tolerance in a networked real-time system
Proceedings of the 2006 conference on Advances in Intelligent IT: Active Media Technology 2006
Formal Definition of XCCS Modelling Language
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
A standby-sparing technique with low energy-overhead for fault-tolerant hard real-time systems
CODES+ISSS '09 Proceedings of the 7th IEEE/ACM international conference on Hardware/software codesign and system synthesis
Hierarchy of formal descriptions for architectural analysis and design of complex CS
International Journal of Computers and Applications
Assigning real-time tasks to heterogeneous processors by applying ant colony optimization
Journal of Parallel and Distributed Computing
On the Toyota's Throttle Control Problem
GREENCOM-CPSCOM '10 Proceedings of the 2010 IEEE/ACM Int'l Conference on Green Computing and Communications & Int'l Conference on Cyber, Physical and Social Computing
The HeKatE methodology. Hybrid engineering of intelligent systems
International Journal of Applied Mathematics and Computer Science - Computational Intelligence in Modern Control Systems
Verification of automatic train protection systems with RTCP-Nets
SAFECOMP'06 Proceedings of the 25th international conference on Computer Safety, Reliability, and Security
Quasi-parallel network applications in real-time distribution management system
International Journal of Innovative Computing and Applications
A novel approach to modechart verification of real-time systems
EUROCAST'11 Proceedings of the 13th international conference on Computer Aided Systems Theory - Volume Part I
Compositional real-time models
Journal of Systems Architecture: the EUROMICRO Journal
Proceedings of the 2012 Symposium on Emerging Applications of M&S in Industry and Academia Symposium
Formal Definition of XCCS Modelling Language
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Journal of Computer and Systems Sciences International
An efficient scheduling algorithm for the non-preemptive independent multiprocessor platform
International Journal of Grid and Utility Computing
User-defined schedulers for real-time concurrent objects
Innovations in Systems and Software Engineering
ARCS'13 Proceedings of the 26th international conference on Architecture of Computing Systems
A dynamic request dispatching system for IT service management
Proceedings of the 8th International Conference on Network and Service Management
Fault-tolerant scheduling in homogeneous real-time systems
ACM Computing Surveys (CSUR)
Jitter minimization in scheduling computations in real-time systems
Programming and Computing Software
Formal Description of Alvis Language with α0 System Layer
Fundamenta Informaticae - Dedicated to the Memory of Professor Manfred Kudlek
Hi-index | 0.00 |
From the Publisher:A complete guide to testing, analyzing, verifying, and monitoring real-time systemsMore and more of our modern-day systems and devices-from toasters and climate-control systems to airplanes and space shuttles-contain embedded systems to control their functions and ensure that their responses are both timely and correct. With safety a requisite factor, performance validation is a critical aspect of real-time systems. Answering the needs of professionals and students alike, Real-Time Systems: Scheduling, Analysis, and Verification provides a substantial, up-to-date overview of the verification and validation process. It describes several approaches to the problem, and examines the advantages and disadvantages of each approach.Designed to be both an introductory text and a handy reference for the practitioner, the book discusses:Symbolic logic, automata, and languages in non-real-time systemsReal-time scheduling and schedulability analysisVerification using timed automata and timed petri netsProcess algebraThe design and analysis of propositional-logic rule-based systemsTiming analysis of predicate-logic rule-based systemsOptimization of rule-based systemsModel checking, real-time logic, and statechartsWith ample illustrations and examples of a variety of industrial and toy applications, Real-Time Systems: Scheduling, Analysis, and Verification serves as a key resource for every professional who works with real-time systems.