Search

Your search keyword '"Rodriguez-Navas, Guillermo"' showing total 31 results
Start Over Author "Rodriguez-Navas, Guillermo" Publisher ieee
31 results on '"Rodriguez-Navas, Guillermo"'

13. CURRENT TECHNIQUES, TRENDS, AND NEW HORIZONS IN AVIONICS NETWORKS CONFIGURATION

Author

Steiner, Wilfried, Gutierrez, Marina, Matyas, Zoltan, Pozo Pérez, Francisco Manuel, Rodriguez-Navas, Guillermo, Steiner, Wilfried, Gutierrez, Marina, Matyas, Zoltan, Pozo Pérez, Francisco Manuel, and Rodriguez-Navas, Guillermo

Abstract

Avionics networks are probably the best understood communication technologies when it comes to guaranteed quality of service since they need to deliver their service under all operational conditions, sometimes even in presence of failures. However, this is only possible because the right tools are available for the rather complex tasks of network configuration and traffic analysis. In the last decade, Ethernet has become a major player aboard in form of Avionics Full-Duplex Switched Ethernet. Hand-in-hand with the network development itself powerful techniques have been invented for its analysis, e.g., the network calculus. Similarly, time-triggered buses, like TTP, are more and more used on aircrafts. The challenge in network configuration of time-triggered systems is the scheduling problem and, therefore, several search-based techniques have been developed as solutions. More recently, converged networks like TTEthernet, currently used in space applications, are also becoming available for avionics use. Here, unsynchronized communication can co-exist with time-triggered synchronized communication. However, converged networks couple the challenges of traffic analysis and schedule generation and, thus, require an integrated toolset. Only the right tools will lead converged networks to be successful in industry. In this paper we, therefore, review well-established techniques in network configuration, e.g., network calculus and scheduling techniques for time-triggered networks. We then focus on current trends and solutions for integrated toolsets to configure converged networks that support concurrent synchronized and unsynchronized data transmissions.

Published
2015
Full Text
View/download PDF

18. Reassessing the Pattern-Based Approach for Formalizing Requirements in the Automotive Domain

Author

Filipovikj, Predrag, Nyberg, Mattias, Rodriguez-Navas, Guillermo, Filipovikj, Predrag, Nyberg, Mattias, and Rodriguez-Navas, Guillermo

Abstract

The importance of using formal methods and techniques for verification of requirements in the automotive industry has been greatly emphasized with the introduction of the new ISO26262 standard for road vehicles functional safety. The lack of support for formal modeling of requirements still represents an obstacle for the adoption of the formal methods in industry. This paper presents a case study that has been conducted in order to evaluate the difficulties inherent to the process of transforming the system requirements from their traditional written form into semi-formal notation. The case study focuses on a set of non-structured functional requirements for the Electrical and Electronic (E/E) systems inside heavy road vehicles, written in natural language, and reassesses the applicability of the extended Specification Pattern System (SPS) represented in a restricted English grammar. Correlating this experience with former studies, we observe that, as previously claimed, the concept of patterns is likely to be generally applicable for the automotive domain. Additionally, we have identified some potential difficulties in the transformation process, which were not reported by the previous studies and will be used as a basis for further research.

Published
2014

26. The design of the CANbids architecture

Author

Proenza, Julian, primary, Barranco, Manuel, additional, Rodriguez-Navas, Guillermo, additional, Gessner, David, additional, Guardiola, Fernando, additional, and Almeida, Luis, additional

Published
2012
Full Text
View/download PDF

31. Using Timed Automata for Modeling Distributed Systems with Clocks: Challenges and Solutions.

Author

Rodriguez-Navas, Guillermo and Proenza, Julián

Subjects
*SOFTWARE verification, *AUTOMATION, *COMPUTER software, *EMBEDDED computer systems, *REAL-time computing, *HYBRID systems, *SYNCHRONIZATION
Abstract

The application of model checking for the formal verification of distributed embedded systems requires the adoption of techniques for realistically modeling the temporal behavior of such systems. This paper discusses how to model with timed automata the different types of relationships that may be found among the computer clocks of a distributed system, namely, ideal clocks, drifting clocks, and synchronized clocks. For each kind of relationship, a suitable modeling pattern is thoroughly described and formally verified. [ABSTRACT FROM PUBLISHER]

Published
2013
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results