Match!
António Casimiro
University of Lisbon
Distributed computingArchitectureComputer scienceDependabilityReal-time computing
95Publications
12H-index
805Citations
What is this?
Publications 96
Newest
The benefits of using Networked Control Systems (NCS) in the growing Industry 4.0 arenumerous, including better management and operational capabilities, as well as costs reduction.However, despite these benefits, the use of NCSs can also expose physical plants to new threatsoriginated in the cyber domain—such as data injection attacks in NCS links through which sensorsand controllers transmit signals. In this sense, this work proposes a link monitoring strategy toidentify linear time-invariant (...
Source
#1Gonçalo JesusH-Index: 4
#2António Casimiro (University of Lisbon)H-Index: 12
Last. Anabela OliveiraH-Index: 22
view all 3 authors...
Environmental monitoring systems are composed by sensor networks deployed in uncertain and harsh conditions, vulnerable to external disturbances, posing challenges to the comprehensive system characterization and modelling. When unexpected sensor measurements are produced, there is a need to detect and identify, in a timely manner, if they stem from a failure behavior or if they indeed represent some environment-related process. Existing solutions for fault detection in environmental sensor netw...
Source
#1Georg JägerH-Index: 2
#2Sebastian ZugH-Index: 8
Last. António CasimiroH-Index: 12
view all 3 authors...
The advent of cooperative systems entails a dynamic composition of their components. As this contrasts current, statically composed systems, new approaches for maintaining their safety are required. In that endeavor, we propose an integration step that evaluates the failure model of shared information in relation to an application’s fault tolerance and thereby promises maintainability of such system’s safety. However, it also poses new requirements on failure models, which are not fulfilled by s...
3 CitationsSource
#1Gonçalo JesusH-Index: 4
#2António CasimiroH-Index: 12
Last. Anabela OliveiraH-Index: 22
view all 3 authors...
Wireless sensor networks are being increasingly used in several application areas, particularly to collect data and monitor physical processes. Non-functional requirements, like reliability, security or availability, are often important and must be accounted for in the application development. For that purpose, there is a large body of knowledge on dependability techniques for distributed systems, which provide a good basis to understand how to satisfy these non-functional requirements of WSN-ba...
10 CitationsSource
#1Andre Nogueira (University of Lisbon)H-Index: 2
#2António Casimiro (University of Lisbon)H-Index: 12
Last. Alysson Bessani (University of Lisbon)H-Index: 23
view all 3 authors...
State machine replication (SMR) is a fundamental technique for implementing stateful dependable systems. A key limitation of this technique is that the performance of a service does not scale with the number of replicas hosting it. Some works have shown that such scalability can be achieved by partitioning the state of the service into shards. The few SMR-based systems that support dynamic partitioning implement ad-hoc state transfer protocols and perform scaling operations as background tasks t...
4 CitationsSource
Jun 12, 2017 in Ada-Europe (International Conference on Reliable Software Technologies)
#1António Casimiro (University of Lisbon)H-Index: 12
#2Inês Gouveia (University of Lisbon)
Last. José Rufino (University of Lisbon)H-Index: 12
view all 3 authors...
Advances in sensor, microprocessor and communication technologies have been fostering new applications of cyber-physical systems, often involving complex interactions between distributed autonomous components and the operation in harsh or uncertain contexts. This has led to new concerns regarding performance, safety and security, while ensuring timeliness requirements are met. To conciliate uncertainty with the required predictability, hybrid system architectures have been proposed, which separa...
Source
Jun 1, 2017 in DSN (Dependable Systems and Networks)
#1Joao Carlos Cunha (UC: University of Coimbra)H-Index: 6
#2Kalinka Regina Lucas Jaquie Castelo Branco (USP: University of São Paulo)H-Index: 8
Last. Urbano Nunes (UC: University of Coimbra)H-Index: 35
view all 4 authors...
Source
#1Marisol García Valls (Charles III University of Madrid)H-Index: 19
#2António Casimiro (University of Lisbon)H-Index: 12
Last. Hans P. Reiser (University of Passau)H-Index: 12
view all 3 authors...
Software technologies are of paramount importance in the current and upcoming systems. In certain application domains, their design has to fit a difficult equation involving not only the expected functionality, but also broader dependable characteristics. Functional and non-functional characteristics have to adhere to requirements such as openness, adaptation, device heterogeneity, energy, or footprint. In this paper, we present a few challenges in some selected areas around the theme of softwar...
4 CitationsSource
The articles in this special section examine safety and security concerns with intelligent vehicle technologies. The most demanding and challenging quality attribute the manufacturers of aerial and ground vehicles must guarantee is safety, meaning that its usage is, to a reasonable level, free from failures with catastrophic consequences on the users and the environment. To attain this, stringent quality assurance methodologies must be followed from the design to the manufacturing, to tackle the...
Source
Jun 1, 2016 in DSN (Dependable Systems and Networks)
#1Joao Carlos Cunha (Instituto Superior de Engenharia de Coimbra)H-Index: 6
#2Kalinka Regina Lucas Jaquie Castelo Branco (USP: University of São Paulo)H-Index: 8
Last. Urbano Nunes (UC: University of Coimbra)H-Index: 35
view all 4 authors...
Source
12345678910