The Evolution of Dependable Computing in Italy

This brief history of the evolution of dependable computing in Italy begins at the end of the sixties with the need to produce test sequences and testing tools to verify hardware implemented using discrete components. At the same time, as the relevance of a system approach to the problem of dependability had already been perceived, research work was being started in the academic world in the error detecting and correcting codes fields, and in complex system diagnosis. These studies greatly benefitted from the strong mathematical background of the researchers initially involved. This work was considerably developed during the seventies, following the technological evolution. The difficulties involved in generating tests with high coverage determined the need to embed features for easy testability and diagnosability into system design. The architectural evolution from uniprocessor to multiple processor systems, either in tightly coupled or in loosely coupled configurations, together with the medium term industrial interest in promoting prototyping efforts, particularly in the industrial process control and on-line transaction processing fields, have produced a wide range of studies covering all system aspects (physical configuration, operating systems, programming languages and environments). This interest has steadily grown up until the present days, with increased emphasis being placed on dependability attributes.

[1]  Lanfranco Lopriore,et al.  Z8001-based central processing unit with capability addressing , 1982 .

[2]  Pietro Laface,et al.  MODOSK: A modular distributed operating system kernel for real-time process control , 1982 .

[3]  Fabrizio Grandoni,et al.  A Theory of Diagnosability of Digital Systems , 1976, IEEE Transactions on Computers.

[4]  Augusto Ciuffoletti,et al.  A Distributed Domino-Effect free recovery Algorithm , 1984, Symposium on Reliability in Distributed Software and Database Systems.

[5]  Augusto Ciuffoletti Error recovery in systems of communicating processes. , 1984, ICSE '84.

[6]  Lorenzo Strigini,et al.  Muteam: a multimicroprocessor architecture with decentralized fault treatment , 1984 .

[7]  Lanfranco Lopriore,et al.  Distributing and revoking access authorizations on abstract objecs: A capability approch , 1984, Softw. Pract. Exp..

[8]  Lorenzo Donatiello,et al.  Analysis of a composite performance reliability measure for fault-tolerant systems , 1987, JACM.

[9]  P. Maestrini,et al.  Concurrent detection of additive overflow and arithmetic errors in residue codes , 1974 .

[10]  Fabio A. Schreiber,et al.  A Framework for Research in Performance-Availability of Automated Information Systems , 1984, Symposium on Reliability in Distributed Software and Database Systems.

[11]  Fabio A. Schreiber,et al.  State Dependency Issues in Evaluating Distributed Database Availability , 1984, Comput. Networks.

[12]  Lanfranco Lopriore,et al.  Capability Based Tagged Architectures , 1984, IEEE Transactions on Computers.

[13]  Giancarlo Martella,et al.  An Availability Model for Distributed Transaction Systems , 1985, IEEE Transactions on Software Engineering.

[14]  A. Antola,et al.  Concurrent Programming Robustness , 1984 .

[15]  Lorenzo Strigini,et al.  A Distributed algorithm for post-failure load redistribution , 1982, ICDCS.

[16]  Piero Maestrini,et al.  Error Correcting Properties of Redundant Residue Number Systems , 1973, IEEE Transactions on Computers.

[17]  Paolo Prinetto,et al.  PART: Programmable Array Testing Based on a Partitioning Algorithm , 1984, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[18]  Lorenzo Strigini,et al.  Reconfiguration procedure in a distributed multiprocessor system , 1982 .

[19]  P. Maestrini,et al.  Error codes in residue number systems with magnitude index , 1978 .

[20]  Luca Simoncini,et al.  Subgraphs smaller than the girth , 1980, J. Graph Theory.

[21]  Lanfranco Lopriore,et al.  The Implementation of Abstract Objects in a Capability Based Addressing Architecture , 1984, Comput. J..

[22]  Renato Stefanelli,et al.  A multiplier with multiple error correction capability , 1983, 1983 IEEE 6th Symposium on Computer Arithmetic (ARITH).

[23]  Arthur D. Friedman,et al.  System-Level Fault Diagnosis , 1980, Computer.

[24]  Lanfranco Lopriore,et al.  Intelligent memory subsystem supporting memory virtualisation , 1983 .

[25]  Maurelio Boari,et al.  Language Features for Access Control , 1983, IEEE Transactions on Software Engineering.

[26]  Luigi Ciminiera DESIGN FOR DIAGNOSABILITY ISSUES IN RECTANGULAR BANYAN NETWORKS. , 1984 .

[27]  Mariagiovanna Sami,et al.  Policies for System-level Diagnosis in a Non-Hierarchic Distributed System , 1984, IEEE Transactions on Reliability.

[28]  Angelo Serra,et al.  A Multimicro Architecture and its Distributed Operating System for Real Time Control , 1982, ICDCS.

[29]  Piero Maestrini,et al.  Error Detection and Correction by Product Codes in Residue Number Systems , 1974, IEEE Transactions on Computers.

[30]  M. La Manna Real-Time Systems with Highly Reliable Storage Media: A Case Study , 1985 .

[31]  L. Simoncini,et al.  An implementation of optimistic policy for concurrency control in a computer network for real-time applications , 1984 .

[32]  Lorenzo Strigini,et al.  A proposal for fault-tolerance in a multiprocessor system , 1982 .

[33]  P. Ciompi,et al.  A Highly Available Multimicroprocessor System for Real-Time Applications , 1983 .

[34]  Piero Maestrini,et al.  Arithmetic Codes in Residue Number Systems with Magnitude Index , 1978, IEEE Transactions on Computers.

[35]  Piero Maestrini,et al.  A Class of Multiple-Error-Correcting Arithmetic Residue Codes , 1978, Inf. Control..

[36]  Mariagiovanna Sami,et al.  Fault Tolerance Techniques for Array Structures Used in Supercomputing , 1986, Computer.

[37]  Piero Maestrini,et al.  Improved decoding algorithms for arithmetic residue codes (Corresp.) , 1978, IEEE Trans. Inf. Theory.

[38]  Piero Maestrini,et al.  Error Codes Constructed in Residue Number Systems with Non-Pairwise-Prime Moduli , 1980, Inf. Control..

[39]  Arthur D. Friedman,et al.  Design of Self-Diagnosable Multiprocessor Systems with Concurrent Computation and Diagnosis , 1980, IEEE Transactions on Computers.

[40]  Luca Simoncini,et al.  Analysis and Optimal Design of Self-Diagnosable Systems with Repair , 1979, IEEE Transactions on Computers.

[41]  Giancarlo Martella,et al.  On Evaluating Availability in Distributed Database Systems , 1981, Berkeley Workshop.

[42]  F. Piazza,et al.  Requirements and Design for a Distributed Computerized System for Safety and Control Applications , 1985 .

[43]  Lanfranco Lopriore,et al.  The MuTEAM system: general guidelines , 1981 .

[44]  C. Ghezzi,et al.  Are two contex-free languages translatable in a syntax-directed translation scheme? , 1974 .

[45]  Luigi Ciminiera,et al.  PERFORMANCE-FAULT TOLERANCE TRADEOFFS IN SINGLE STAGE CONNECTING NETWORKS. , 1982 .

[46]  Mariagiovanna Sami,et al.  Some Properties Derived from Structural Analysis of Program Graph Models , 1983, IEEE Transactions on Software Engineering.

[47]  Lorenzo Strigini,et al.  The architecture and the fault-treatment of MuTEAM , 1984, Fehlertolerierende Rechensysteme.

[48]  Lanfranco Lopriore,et al.  MuTEAM: architectural insights of a distributed multimicroprocessor system , 1981 .

[49]  Lanfranco Lopriore User-defined protection subsystems in capability architectures , 1982 .

[50]  Marco Vanneschi,et al.  Mechanisms for a robust multiprocessing environment in the MuTEAM kernel , 1981 .

[51]  Paolo Prinetto,et al.  Testing Strategy and Technique for Macro-Based Circuits , 1985, IEEE Transactions on Computers.