A5067175860- Simulation Techniques and Applications
- Multi-Agent Systems and Negotiation
- Business Process Modeling and Analysis
- Model-Driven Software Engineering Techniques
- Modeling and Simulation Systems
- Distributed and Parallel Computing Systems
- Systems Engineering Methodologies and Applications
- Mobile Agent-Based Network Management
- Mathematical and Theoretical Analysis
- Service-Oriented Architecture and Web Services
- Computability, Logic, AI Algorithms
- Numerical Methods and Algorithms
- Software Reliability and Analysis Research
- Safety Systems Engineering in Autonomy
- Semantic Web and Ontologies
- Logic, Reasoning, and Knowledge
- Advanced Software Engineering Methodologies
- Scientific Computing and Data Management
- Real-time simulation and control systems
- Peer-to-Peer Network Technologies
- Game Theory and Applications
- Distributed systems and fault tolerance
- Software System Performance and Reliability
- Recommender Systems and Techniques
- Auction Theory and Applications
University of Calabria
2016-2025
University of Calabar
2005-2014
Abstract The increasing complexity of cyber-physical systems (CPSs) makes their design, development and operation extremely challenging. Due to the nature CPS that involves many heterogeneous components, which are often designed developed by organizations belonging different engineering domains, it is difficult manage, trace verify properties, requirements constraints throughout lifecycle using classical techniques. In this context, paper presents an integrated solution formally define...
The method engineering paradigm enables designers to reuse portions of design processes (called fragments or chunks in literature) build that are expressly tailored for realising a system is specific some problem development context. This paper initially reports on the standardisation attempt carried out by FIPA Methodology Technical Committee (TC) and then presents research activities we did starting from work; these resulted slightly different definition most important elements approach...
The Turing machine is one of the simple abstract computational devices that can be used to investigate limits computability.In this paper, they are considered from several points view emphasize importance and relativity mathematical languages describe machines.A deep investigation performed on interrelations between mechanical computations their descriptions emerging when a human (the researcher) starts object study) by different instruments investigation).Together with traditional using...
The increasing complexity of modern systems makes their design, development, and operation extremely challenging therefore new engineering modeling simulation (M&S) methods, techniques, tools are emerging, also to benefit from distributed environments. In this context, one the most mature popular standards for is IEEE 1516-2010 - Standard M&S high level architecture (HLA). However, building maintaining simulations components, based on standard, still a effort-consuming task. To ease...
Modeling and Simulation (M&S) is a fundamental technology to design study complex systems in various industrial scientific domains when real-world testing impractical due costs, safety concerns, time constraints. To promote the reusability interoperability of simulation entities, allowing them interoperate without geographic barriers, distributed has been introduced. One most widely adopted standards for IEEE 1516-2010 - High Level Architecture (HLA). Among services provided by HLA, key...
The security of software services accessible via the Internet has always been a crosscutting non-functional requirement uttermost importance. recent advent Cloud Computing paradigm and its wide diffusion given birth to new challenges towards securing existing services, by properly accounting issues related their delivery models usage patterns, opened way concept Security as Service(SecaaS), i.e. ability developing reusable which can be composed with standard in order offer them suitable...
Distributed simulation represents a solid discipline and an effective approach for handling the increasing complexity in analysis design of modern Systems (SoSs). The IEEE 1516-2010 – High-Level Architecture (HLA) is one most mature popular standards distributed simulation, it increasingly exploited great variety application domains, ranging from aerospace to energy, due its capabilities enable interoperability reusability components. However, development fully fledged models, based on...
This paper presents the Process for Agent Specification, Simulation and Implementation (PASSIM), a simulation-based development process Multi-agent Systems (MASs), which was obtained by integrating well-known established Societies Specification (PASSI) methodology Statecharts-based simulation supporting functional nonfunctional validation of MAS being developed. PASSIM can be effectively used as an experimental tool in context Oriented Software Engineering (AOSE) evaluating benefits using...
To date several agent models and related programming frameworks have been introduced for developing distributed applications in terms of multi-agent systems open dynamic environments. Among them, those based on lightweight architectures, asynchronous messages/events state-based such as JADE, Bond Actors demonstrated great effectiveness modelling software systems. In this paper, we propose the event-driven distilled statecharts-based (ELDA) model which is same fundamentals aforementioned...
This paper aims at contributing to fill the lack of methods specifically conceived for addressing analysis and verification nonfunctional requirements. In particular, attention is focused on system reliability, which a key requirement be satisfied particularly mission-critical systems where failures could cause even human losses. To this end, presents an up-to-date version RAMSAS, recently proposed model-based method reliability through simulation. The present RAMSAS result intensive...
This paper describes a proposal on how to model formal requirements in Modelica for simulation-based verification.The approach is implemented the open source Modelica_Requirements library.It requires extensions language, that have been prototypically Dymola and Open-Modelica software.The design of library based FOrmal Requirement Modeling Language (FORM-L) defined by EDF, industrial use cases from EDF Dassault Aviation.It uses 2-and 3valued temporal logic describe requirements.
Many research efforts are focusing on the definition of methods, models and techniques to support reuse interoperability simulation their execution distributed computing environments. In this context, great benefits could derive from joint exploitation two popular standards: FMI (Functional Mock-up Interface) HLA (High Level Architecture). The paper investigates how combine different perspectives: (i) for (ii) HLA. With reference perspective, some possible extensions include features...
Modeling and Simulation methods, tools techniques aim at supporting the different phases of lifecycle modern systems, going from requirements analysis to system design operation. However, their effective application requires investigating several aspects such as formal modeling binding automated composition between heterogeneous models (e.g. models, architectural behavioral models). In this context, paper presents a new requirement language based on temporal logic, called FORM-L, software...
Abstract Numerical computing is a key part of the traditional computer architecture. Almost all computers implement IEEE 754-1985 binary floating point standard to represent and work with numbers. The architectural limitations make impossible infinite infinitesimal quantities numerically. This paper dedicated Infinity Computer, new kind supercomputer that allows one perform numerical computations finite, infinite, already available software simulator Computer used in different research...
System reliability is an important non-functional requirement whose satisfaction even crucial for mission critical systems. However, the increase in both system complexity and accuracy required analyses often makes inadequate traditional techniques which are mainly based on statistical probabilistic tools hierarchical decomposition of terms its components. Moreover, integration classical typical development processes, especially design phases, quite difficult thus their use postponed to...