Initiatives for FP6 A few thoughts on IP-level research: Dependability-related Research the University of Lisboa Paulo E. Veríssimo LaSIGe, Laboratory for Large-Scale Informatic Systems Univ. Lisboa

Methodology Current situation Problems Problems  Challenges/Opportunities Hopefully: –Industry will see problems –Research will see opportunities Industry  Research connections?

Situation More and more systems relying on “open network environments” (aka Internet), COTS components, inadept users, etc. Increase in the risk associated with using technologies not adequate to the role they are playing More exposure of highly-critical systems More not-so-critical systems exposed

change technologies, or make them work better Problems change technologies, or make them work better?

Problems/Opportunities change technologies, or make them work better? general concern with dependability, survivability, trustworthiness, and so forth architecture, paradigms, design assurance and assessment, amongst other factors

Main Problem/Opportunity areas Applications that are critical (e.g. SCADA, CCC), supported by semi-open geographically dispersed infrastructures Applications that are commercial (e.g. B2B, B2C), supported by very open extra-powerful site-based server compounds Applications of a mixed nature w.r.t. purpose, but whose distinguishing feature is being supported by ad-hoc collections of wireless and mobile entities, immersed in active environments of ubiquitous and inconspicuous devices.

Opportunities (IP-style applied research) New architectures New paradigms New gadgets New subsystems Well-defined and contained Remember:... don’t change technologies …... make them work better …

The perspective of U. Lisboa Intrusion-tolerant communication, checkpointing, key and replication management protocols based on hybrid failure modes. –Highly modular middleware building blocks for a number of systems and applications subject to faults and attacks (e.g. complex web sites, business and critical infrastructures), whose very high efficiency and resiliency come from the power of using architectural-hybrid fault models.

The perspective of U. Lisboa Real-time and secure distributed kernel design. –Self-contained, portable security kernels and control networks for both local and wide area scopes, to simplify the design of secure high- performance device clusters (e.g. servers, routers, controllers), particularly those having to fulfil timeliness constraints under faults and attacks (e.g. CCC, ATC, SCADA, OLTP, e-comm).

The perspective of U. Lisboa Secure operation of embedded systems –Mechanisms and protocols yielding secure real- time operation, namely in embedded systems (known to be a very hard problem) based on expanding recent results on the development of real-time security kernels and intrusion- tolerant protocols. –This problem emerges from the pervasive use of embedded systems in many areas, from car to home automation, and its progressive interconnection to open networks.

The perspective of U. Lisboa Distributed system support for ET-TT embedded systems –New architectural approaches to seamlessly support dependable Event- and Time-Triggered operation on field buses and control area networks (e.g. CAN, TTP, etc.), based on information flow integration between environment and control system, flexible event-state transformation, integrated ET-TT communication, and algorithmics-aware system dimensioning.

The perspective of U. Lisboa Dependable QoS assurance mechanisms in environments with uncertain timeliness –Mechanisms and protocols based on time- safety and time-elasticity, to perform dependable QoS assurance and adaptation in settings where the need for real-time behaviour conflicts with the uncertainty about the environment (host, network) timeliness (e.g., complex real-time and/or on-line transactional database servers, SCADA, active environments with mobile entities, etc.).

Where to find us Navigators Group at LaSiGE Univ. Lisboa, Portugal related research lines in the site: Fault and Intrusion Tolerance in Open Distributed Systems Timeliness and Adaptation in Dependable Systems Feel free to Paulo Veríssimo ---