| 1. |
- Latif, Khalid, et al.
(författare)
-
Resource-aware task allocation and scheduling for SegBus platform
- 2010
-
Ingår i: 2010 IEEE International Conference on Electronics, Circuits, and Systems, ICECS 2010 - Proceedings. - 9781424481552 - 9781424481576 ; , s. 523-526
-
Konferensbidrag (refereegranskat)abstract
- In this work, we propose an integrated task allocation and scheduling mechanism to minimize the resource contention and the processing latency for application running on the SegBus platform. The transactions are classified as local and cross border SPLIT transactions. The hybrid scheduling approach implemented by hierarchal arbiter code structure shows significant improvement in system performance. The interrupt scheduling has been implemented to further enhance system performance. A H.264 video encoder application has been used to verify the proposed technique, showing a large improvement in system throughput.
|
|
| 2. |
- Latif, Khalid, et al.
(författare)
-
Service based communication for MPSoC platform-SegBus
- 2011
-
Ingår i: Microprocessors and microsystems. - : Elsevier BV. - 0141-9331 .- 1872-9436. ; 35:7, s. 643-655
-
Tidskriftsartikel (refereegranskat)abstract
- MPSoC platforms offer solutions to deal with communication limitations for multiple cores on single chip, but many new issues arise within the context. The SegBus platform is one of the solutions for application deployment on multi-core applications. There are many applications where identical data is transferred from the same source towards different destinations. Multicast services may come as a performance improving factor for the interconnection platform, together with interrupt service. In this paper, the task is to analyze, how different services can be designed for the SegBus platform and observe the improvement in system performance. The designer can select the services according to the requirements. The running example is represented by the H.264 encoder. The SegBus platform architecture, the communication mechanism, the allocation of processing elements on the platform, the communication services and their implementation are the main topics elaborated here.
|
|
| 3. |
- Salimi, M., et al.
(författare)
-
Multi-objective optimization of real-time task scheduling problem for distributed environments
- 2020
-
Ingår i: PROCEEDINGS OF THE 6TH CONFERENCE ON THE ENGINEERING OF COMPUTER BASED SYSTEMS (ECBS 2019). - New York, NY, USA : Association for Computing Machinery. - 9781450376365
-
Konferensbidrag (refereegranskat)abstract
- Real-world applications are composed of multiple tasks which usually have intricate data dependencies. To exploit distributed processing platforms, task allocation and scheduling, that is assigning tasks to processing units and ordering inter-processing unit data transfers, plays a vital role. However, optimally scheduling tasks on processing units and finding an optimized network topology is an NP-complete problem. The problem becomes more complicated when the tasks have real-time deadlines for termination. Exploring the whole search space in order to find the optimal solution is not feasible in a reasonable amount of time, therefore meta-heuristics are often used to find a near-optimal solution. We propose here a multi-population evolutionary approach for near-optimal scheduling optimization, that guarantees end-to-end deadlines of tasks in distributed processing environments. We analyze two different exploration scenarios including single and multi-objective exploration. The main goal of the single objective exploration algorithm is to achieve the minimal number of processing units for all the tasks, whereas a multi-objective optimization tries to optimize two conflicting objectives simultaneously considering the total number of processing units and end-to-end finishing time for all the jobs. The potential of the proposed approach is demonstrated by experiments based on a use case for mapping a number of jobs covering industrial automation systems, where each of the jobs consists of a number of tasks in a distributed environment.
|
|
| 4. |
- Seceleanu, Cristina Cerschi, et al.
(författare)
-
Analyzing a wind turbine system : From simulation to formal verification
- 2017
-
Ingår i: Science of Computer Programming. - : Elsevier BV. - 0167-6423 .- 1872-7964. ; 133, s. 216-242
-
Tidskriftsartikel (refereegranskat)abstract
- Many industrial systems are hybrid by nature, most often being made of a discrete controller that senses and regulates the execution of a plant characterized by continuous dynamics. Examples of such systems include wind turbines that convert wind energy into electrical energy. Designing industrial control systems is challenging, due to the mixed nature of requirements (functional, timing, etc.) as well as due to the complexity stemming from the interaction of the controller with the plant. Model-based techniques help in tackling the design challenges, whereas methods such as simulation with tools like MATLAB/Simulink can be employed for analysis. Although practical, these methods alone cannot ensure full predictability, due to the fact that they cannot guarantee system properties for all possible executions of the system model. In order to ensure that the system will behave as expected under any operational circumstance, formal verification and validation procedures need to be added to the actual development process. In this paper, we propose an extension of the iFEST (industrial Framework for Embedded Systems Tools) process and platform for embedded systems design with model-based testing using MaTeLo, and model checking time-dependent requirements with the UPPAAL tool, as means of increasing the confidence in the system's behavior. To show the feasibility of the techniques on industrially-sized systems, we analyze a wind turbine industrial prototype model against functional and timing requirements. We capture the execution semantics of the plant and controller components of the wind turbine via logical clocks and constraints expressed in the clock constraint specification language (CCSL) of UML MARTE, after which we construct real-time models amenable to model checking, by mapping the timed behavior (expressed in CCSL) of the real-time components of the wind turbine, onto timed automata. Our work is a first application on an industrial wind turbine system of complementary methods for formal analysis, that is, model-based testing, and model checking a mathematically tractable system abstraction based on data obtained by simulating the system with MATLAB/Simulink. We also discuss relevant modeling and verification challenges encountered during our experiences with the wind turbine system.
|
|
| 5. |
|
|
| 6. |
- Seceleanu, Cristina, 1968-, et al.
(författare)
-
Message from the CAP 2017 Organizing Committee
- 2017
-
Ingår i: Proceedings - International Computer Software and Applications Conference. - : IEEE Computer Society. - 0730-3157. ; 1, s. 458-
-
Tidskriftsartikel (övrigt vetenskapligt/konstnärligt)
|
|
| 7. |
- Seceleanu, Cristina, et al.
(författare)
-
Modular Design of Reactive Systems
- 2004
-
Ingår i: Proceedings - International Computer Software and Applications ConferenceVolume 1, 2004. ; , s. 265-271
-
Konferensbidrag (refereegranskat)abstract
- We concentrate on two major aspects of reactive system design: behavior control and modularity. These are studied from a formal point of view, within the framework of action systems. The traditional interleaving paradigm is completed with a new barrier synchronization mechanism. This is achieved by introducing a new parallel composition operator, applicable to both discrete and hybrid models. While offering improvements with respect to control and modularity, the approach uses the correctness preserving mechanisms provided by the underlying reasoning environment.
|
|
| 8. |
- Seceleanu, Cristina, et al.
(författare)
-
Synchronization Can Improve Reactive Systems Control and Modularity
- 2004
-
Ingår i: Journal of Universal Computer Science (JUCS). ; 10:10, s. 1429-1468
-
Tidskriftsartikel (refereegranskat)abstract
- We concentrate on two major aspects of reactive system design: behavior control and modularity. These are studied from a formal point of view, within the framework of action systems. The traditional interleaving paradigm is completed with a barrier synchronization mechanism. This is achieved by introducing a new parallel composition operator, applicable to both discrete and hybrid models. While offering improvements with respect to control and modularity, the approach uses the correctness preserving mechanisms provided by the underlying reasoning environment.
|
|
| 9. |
- Seceleanu, Tiberiu, et al.
(författare)
-
Building a Digital Twin Framework for Dynamic and Robust Distributed Systems
- 2024
-
Ingår i: Lect. Notes Comput. Sci.. - : Springer Science and Business Media Deutschland GmbH. - 9783031492518 ; , s. 254-258
-
Konferensbidrag (refereegranskat)abstract
- Digital Twins (DTs) serve as the backbone of Industry 4.0, offering virtual representations of actual systems, enabling accurate simulations, analysis, and control. These representations help in predicting system behaviour, facilitating multiple real-time tests, and reducing risks and costs while identifying optimization areas. DTs meld cyber and physical realms, accelerating the design and modelling of sustainable innovations. Despite their potential, the complexity of DTs presents challenges in their industrial application. We sketch here an approach to build an adaptable and trustable framework for building and operating DT systems, which is the basis for the academia-industry project A Digital Twin Framework for Dynamic and Robust Distributed Systems (D-RODS). D-RODS aims to address the challenges above, aiming to advance industrial digitalization and targeting areas like system efficiency, incorporating AI and verification techniques with formal support.
|
|
| 10. |
- Seceleanu, Tiberiu, et al.
(författare)
-
Control as a service - Intelligent networking
- 2021
-
Ingår i: Proceedings - 2021 IEEE 45th Annual Computers, Software, and Applications Conference, COMPSAC 2021. - : Institute of Electrical and Electronics Engineers Inc.. - 9781665424639 ; , s. 1887-1892
-
Konferensbidrag (refereegranskat)abstract
- The paper introduces elements of a service based perspective of a scalable and dynamic automation system architecture. The approach is based on potentially multi-role devices (implementing node management, processing and networking functionalities) hosting a set of services requested by input nodes. In addition, artificial intelligence support is described to provide means of reaching deployment optimality and reliability. Formal approaches are deemed necessary for both verification of the artificial intelligence approach and of the resulting solutions. A model-based design path is complementary considered in order to lead to an increased efficiency in resource utilization, to lowering design efforts, and ensure a formally correct allocation of services, according to system requirements and constraints.
|
|
