TRIO: A logic language for executable specifications of real-time systems
Journal of Systems and Software - On the role of language in programming
Object-oriented logical specification of time-critical systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Design for testability in object-oriented systems
Communications of the ACM
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
Residual test coverage monitoring
Proceedings of the 21st international conference on Software engineering
An Interval Logic for Real-Time System Specification
IEEE Transactions on Software Engineering
Dynamically Discovering Likely Program Invariants to Support Program Evolution
IEEE Transactions on Software Engineering - Special issue on 1999 international conference on software engineering
Automated deductive requirements analysis of critical systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Resource kernels: a resource-centric approach to real-time and multimedia systems
Readings in multimedia computing and networking
Fault Injection Techniques and Tools
Computer
Constructing Self-Testable Software Components
DSN '01 Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS)
Towards a unified test process: from UML to end-of-line functional test
Proceedings of the IEEE International Test Conference 2001
PVS: A Prototype Verification System
CADE-11 Proceedings of the 11th International Conference on Automated Deduction: Automated Deduction
Analysis of Hierar hical Fixed-Priority Scheduling
ECRTS '02 Proceedings of the 14th Euromicro Conference on Real-Time Systems
RTSS '95 Proceedings of the 16th IEEE Real-Time Systems Symposium
Efficient Design of System Test: A Layered Architecture
ITC '02 Proceedings of the 2002 IEEE International Test Conference
Execution of TILCO Temporal Logic Specifications
ICECCS '02 Proceedings of the Eighth International Conference on Engineering of Complex Computer Systems
Processor Capacity Reserves for Multimedia Operating Systems
Processor Capacity Reserves for Multimedia Operating Systems
Communicating TILCO: A Model for Real-Time System Specification
ICECCS '01 Proceedings of the Seventh International Conference on Engineering of Complex Computer Systems
TILCO-X, an Extension of TILCO Temporal Logic
ICECCS '01 Proceedings of the Seventh International Conference on Engineering of Complex Computer Systems
A Hierarchical Extension to the Constant Bandwidth Server Framework
RTAS '01 Proceedings of the Seventh Real-Time Technology and Applications Symposium (RTAS '01)
The temporal logic of programs
SFCS '77 Proceedings of the 18th Annual Symposium on Foundations of Computer Science
Validating Component Integration with C-TILCO
Electronic Notes in Theoretical Computer Science (ENTCS)
A Hierarchical Framework for Component-based Real-time Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
A Dual Language Approach to the Development of Time-Critical Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
| Hi-index | 0.00 |
Over the last two years, the QUACK project investigated a new methodology for assessing the quality of heterogeneous, modular and configurable embedded systems, i.e., systems made out of a number of hardware and software components, usually embedded in devices with real-time requirements, and produced in families of different versions and configurations. The main aim of the project was to overcome the limitations of traditional techniques in dealing with the many new aspects and issues that arise, when the addressed class of systems is under concern. This paper surveys the final results of the QUACK project: that is, a new methodology for quality assessment of heterogeneous, modular and configurable embedded systems, throughout the whole software process.