Distributed real-time system specification and verification in APTL
ACM Transactions on Software Engineering and Methodology (TOSEM)
Reliable computer systems (3rd ed.): design and evaluation
Reliable computer systems (3rd ed.): design and evaluation
Building Trustworthy Systems: Lessons from the PTN and Internet
IEEE Internet Computing
Using Simplicity to Control Complexity
IEEE Software
Upgrading Embedded Software in the Field: Dependability and Survivability
EMSOFT '02 Proceedings of the Second International Conference on Embedded Software
Towards Continuous Availability of Internet Services through Availability Domains
DSN '00 Proceedings of the 2000 International Conference on Dependable Systems and Networks (formerly FTCS-30 and DCCA-8)
Algorithms for Improving the Dependability of Firewall and Filter Rule Lists
DSN '00 Proceedings of the 2000 International Conference on Dependable Systems and Networks (formerly FTCS-30 and DCCA-8)
Development of a Decentralized Virtual Service Redirector for Internet Applications
FTDCS '99 Proceedings of the 7th IEEE Workshop on Future Trends of Distributed Computing Systems
A Service Scheduler in a Trustworthy System
ANSS '04 Proceedings of the 37th annual symposium on Simulation
A New Scheduling Algorithm and a Compensation Strategy for Imprecise Computation
COMPSAC '04 Proceedings of the 28th Annual International Computer Software and Applications Conference - Volume 01
Simulation Verification and Validation by Dynamic Policy Enforcement
ANSS '05 Proceedings of the 38th annual Symposium on Simulation
Journal of Systems and Software
The impact of service demand variability on resource allocation strategies in a grid system
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Hi-index | 0.00 |
The aims of the research are to develop a distributed simulation environment and to investigate techniques that support efficient task-scheduling algorithms in fault-tolerant, real-time, distributed, and wireless embedded systems. Techniques developed include deadline-based real-time scheduling, priority-based scheduling, and redundant resource allocation for fault-tolerant, energy-aware, and signal strength-aware scheduling. A system model is proposed, and a prototype of the distributed simulation environment is implemented. Three scheduling algorithms and sample applications are designed and implemented in the environment. Experiment data are collected for analyzing the effectiveness of the algorithms.