scispace - formally typeset
Search or ask a question
Author

Libero Nigro

Other affiliations: University of Calabar
Bio: Libero Nigro is an academic researcher from University of Calabria. The author has contributed to research in topics: Model checking & Petri net. The author has an hindex of 20, co-authored 155 publications receiving 1352 citations. Previous affiliations of Libero Nigro include University of Calabar.


Papers
More filters
Journal ArticleDOI
19 May 1997
TL;DR: An approach is proposed which is based on object-oriented programming and client/server communications and which allows remote configuration and monitoring of the measurement system and proves useful both for educational and industrial measurement requirements.
Abstract: This paper focuses on the development of distributed measurement systems using Java and Web tools. An approach is proposed which is based on object-oriented programming and client/server communications and which allows remote configuration and monitoring of the measurement system. The approach proves useful both for educational and industrial measurement requirements.

86 citations

Journal ArticleDOI
01 Jan 2009
TL;DR: The paper introduces Theatre and demonstrates its application to a complex simulation model based on unmanned aerial vehicles (UAVs) and an open agent-based distributed model where mobile agents follow communication patterns established at runtime.
Abstract: This paper proposes an agent infrastructure (Theatre) centered on Java for distributed simulations over High-Level Architecture/RunTime Infrastructure (HLA/RTI). The architecture rests on actors (agents) as the basic building blocks. Actors have a public message interface and encapsulate a state of local variables and a behavior patterned as a finite state machine. Actors interact with one another by asynchronous message passing. At the system level, theatres are used as the execution platforms for actors. Theatres naturally map on to HLA federates. Actors can migrate between theatres for load-balancing concerns, or in response to (re)configuration operations of dynamic structure systems. The paper introduces Theatre and demonstrates its application to a complex simulation model based on unmanned aerial vehicles (UAVs). The case study is an open agent-based distributed model where mobile agents follow communication patterns established at runtime.

40 citations

Journal ArticleDOI
12 May 1992
TL;DR: It is shown that a concurrent, real-time, object-oriented programming paradigm named RTO (real time objects) may be a suitable basis for building the software of an intelligent measurement system.
Abstract: It is shown that a concurrent, real-time, object-oriented programming paradigm named RTO (real time objects) may be a suitable basis for building the software of an intelligent measurement system. After a presentation of the paradigm, the authors present the software architecture of an RTO-based measurement system, and discuss its advantages in terms of modularity and reusability. Analog-to-digital (A/D), digital-to-analog (D/A), and magnetic measurements on ferrite cores were implemented in order to evaluate the software system. The hardware architecture is based on a waveform analyzer and a polynomial waveform synthesizer connected to a personal computer which functions as the system manager. It is concluded that the real-time features of RTO eliminate problems which arise from hidden systems-or language-dependent issues. >

33 citations

Journal ArticleDOI
18 May 1998
TL;DR: The paper describes the architecture and exemplifies it by some examples and proposes M/sup 3/A-Multicast Mobile Measurement Architecture-a software architecture for the development of flexible distributed measurement systems.
Abstract: This paper proposes M/sup 3/A-Multicast Mobile Measurement Architecture-a software architecture for the development of flexible distributed measurement systems. M/sup 3/A centres at the large level on nowadays Internet technologies such as multicast and mobile computing and at the small level on a Java and Actor-based Framework. M/sup 3/A allows the building of open, portable and dynamically re-configurable systems. The paper describes the architecture and exemplifies it by some examples.

32 citations

Book ChapterDOI
TL;DR: A modular and real-time actor language which addresses timing predictability through a holistic integration of an application with its operating software, i.e., scheduling algorithm is proposed.
Abstract: This paper proposes a modular and real-time actor language which addresses timing predictability through a holistic integration of an application with its operating software, i.e., scheduling algorithm. The actor language fosters a development life cycle where the same concepts and entities migrate unchanged from specification down to design and object-oriented implementation. The paper concentrates on the specification and analysis of distributed real-time systems using Coloured Petri Nets. Both functional and temporal properties can be validated by simulation and occurrence graphs in the context of the Design/CPN tools.

32 citations


Cited by
More filters
Journal Article
TL;DR: AspectJ as mentioned in this paper is a simple and practical aspect-oriented extension to Java with just a few new constructs, AspectJ provides support for modular implementation of a range of crosscutting concerns.
Abstract: Aspect] is a simple and practical aspect-oriented extension to Java With just a few new constructs, AspectJ provides support for modular implementation of a range of crosscutting concerns. In AspectJ's dynamic join point model, join points are well-defined points in the execution of the program; pointcuts are collections of join points; advice are special method-like constructs that can be attached to pointcuts; and aspects are modular units of crosscutting implementation, comprising pointcuts, advice, and ordinary Java member declarations. AspectJ code is compiled into standard Java bytecode. Simple extensions to existing Java development environments make it possible to browse the crosscutting structure of aspects in the same kind of way as one browses the inheritance structure of classes. Several examples show that AspectJ is powerful, and that programs written using it are easy to understand.

2,947 citations

01 Jan 2009
TL;DR: This paper presents a meta-modelling framework for modeling and testing the robustness of the modeled systems and some of the techniques used in this framework have been developed and tested in the field.
Abstract: ing WS1S Systems to Verify Parameterized Networks . . . . . . . . . . . . 188 Kai Baukus, Saddek Bensalem, Yassine Lakhnech and Karsten Stahl FMona: A Tool for Expressing Validation Techniques over Infinite State Systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 204 J.-P. Bodeveix and M. Filali Transitive Closures of Regular Relations for Verifying Infinite-State Systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 220 Bengt Jonsson and Marcus Nilsson Diagnostic and Test Generation Using Static Analysis to Improve Automatic Test Generation . . . . . . . . . . . . . 235 Marius Bozga, Jean-Claude Fernandez and Lucian Ghirvu Efficient Diagnostic Generation for Boolean Equation Systems . . . . . . . . . . . . 251 Radu Mateescu Efficient Model-Checking Compositional State Space Generation with Partial Order Reductions for Asynchronous Communicating Systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 266 Jean-Pierre Krimm and Laurent Mounier Checking for CFFD-Preorder with Tester Processes . . . . . . . . . . . . . . . . . . . . . . . 283 Juhana Helovuo and Antti Valmari Fair Bisimulation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 299 Thomas A. Henzinger and Sriram K. Rajamani Integrating Low Level Symmetries into Reachability Analysis . . . . . . . . . . . . . 315 Karsten Schmidt Model-Checking Tools Model Checking Support for the ASM High-Level Language . . . . . . . . . . . . . . 331 Giuseppe Del Castillo and Kirsten Winter Table of

1,687 citations

Book
01 Jan 2000
TL;DR: The article gives an overview of technologies to distribute the execution of simulation programs over multiple computer systems, with particular emphasis on synchronization (also called time management) algorithms as well as data distribution techniques.
Abstract: Originating from basic research conducted in the 1970's and 1980's, the parallel and distributed simulation field has matured over the last few decades. Today, operational systems have been fielded for applications such as military training, analysis of communication networks, and air traffic control systems, to mention a few. The article gives an overview of technologies to distribute the execution of simulation programs over multiple computer systems. Particular emphasis is placed on synchronization (also called time management) algorithms as well as data distribution techniques.

1,217 citations