ISEP – CISTER – Pósteres apresentados a eventos científicos
Permanent URI for this collection
Browse
Browsing ISEP – CISTER – Pósteres apresentados a eventos científicos by Issue Date
Now showing 1 - 10 of 48
Results Per Page
Sort Options
- Poster: EMMON: a WSN system architecture and toolset for large-scale and dense real-time embedded monitoringPublication . Tennina, Stefano; Bouroche, Mélanie; Santos, Manuel; Oliveira, Pedro; Gomes, Ricardo; Mirza, Farrukh; Ciriello, Vincenzo; Cahill, Vinny; Alves, Mário; Carrozza, Gabriella; Braga, PedroWireless sensor networks (WSNs) have attracted growing interest in the last decade as an infrastructure to support a diversity of ubiquitous computing and cyber-physical systems. However, most research work has focused on protocols or on specific applications. As a result, there remains a clear lack of effective and usable WSN system architectures that address both functional and non-functional requirements in an integrated fashion. This poster outlines the EMMON system architecture for large-scale, dense, real-time embedded monitoring. It provides a hierarchical communication architecture together with integrated middleware and command and control software. It has been designed to maintain as much as flexibility as possible while meeting specific applications requirements. EMMON has been validated through extensive analytical, simulation and experimental evaluations, including through a 300+ nodes test-bed the largest single-site WSN test-bed in Europe.
- Parallel real-time support for distributed adaptive embedded applicationsPublication . Garibay-Martínez, Ricardo; Ferreira, Luís; Pinho, Luís MiguelReal-time embedded applications require to process large amounts of data within small time windows. Parallelize and distribute workloads adaptively is suitable solution for computational demanding applications. The purpose of the Parallel Real-Time Framework for distributed adaptive embedded systems is to guarantee local and distributed processing of real-time applications. This work identifies some promising research directions for parallel/distributed real-time embedded applications.
- Supporting real-time parallel task models with work-stealingPublication . Maia, Cláudio; Nogueira, Luís; Pinho, Luís MiguelDynamic parallel scheduling using work-stealing has gained popularity in academia and industry for its good performance, ease of implementation and theoretical bounds on space and time. Cores treat their own double-ended queues (deques) as a stack, pushing and popping threads from the bottom, but treat the deque of another randomly selected busy core as a queue, stealing threads only from the top, whenever they are idle. However, this standard approach cannot be directly applied to real-time systems, where the importance of parallelising tasks is increasing due to the limitations of multiprocessor scheduling theory regarding parallelism. Using one deque per core is obviously a source of priority inversion since high priority tasks may eventually be enqueued after lower priority tasks, possibly leading to deadline misses as in this case the lower priority tasks are the candidates when a stealing operation occurs. Our proposal is to replace the single non-priority deque of work-stealing with ordered per-processor priority deques of ready threads. The scheduling algorithm starts with a single deque per-core, but unlike traditional work-stealing, the total number of deques in the system may now exceed the number of processors. Instead of stealing randomly, cores steal from the highest priority deque.
- Embedded Multi-Core systems for Mixed Criticality applications in dynamic and changeable real-time environmentsPublication . Tovar, EduardoEMC2 finds solutions for dynamic adaptability in open systems. It provides handling of mixed criticality multicore applications in r eal-time conditions, withscalability and utmost flexibility, full-scale deployment and management of integrated tool chains, through the entire lifecycle.
- Poster/Demo Session Proceedings of the 12th European Conference on Wireless Sensor Networks (EWSN'15) CPublication . Severino, Ricardo; Handzisky, Vlado; Jurdak, RajaThe poster and Demo session is an integral part of the EWSN conference.
- Towards realistic core-failure-resilient scheduling and analysisPublication . Nikolić, Borislav; Bletsas, KonstantinosGoal: Meeting all task deadlines on a multicore platform even when a core suddenly fails and is rendered unusable. • Model: When a core fails, whichever task was running there is killed but its deadline must still be met
- Dependable Embedded Wireless InfrastructurePublication . Pereira, NunoDEWI will provide key solutions for wireless seamless connectivity and interoperability in the everyday physical environment of citizens, thereby significantly contributing to the emerging smart home and smart public space.
- Formal Contracts for Runtime Verification Support in the Ada Programming LanguagePublication . Matos Pedro, André; Pereira, David; Pinho, Luís Miguel; Sousa Pinto, JorgeStatic Verification is not sufficient to cope with many of the challenges of modern and future generation real-time embedded systems: • state-explosion problem of model-checking; • limited automation in deductive reasoning, even with recent advances in SAT and SMT solvers. • Most of the data important to certify a real-time embedded system is related to extra-functional properties: • Duration of tasks; • Energy consumption; • Temperature management; • Other cyber-physical properties. • Unfortunately, most of the extra functional data is only available and verifiable during execution time.
- Towards the Development of XDense, A Sensor Network for Dense SensingPublication . Loureiro, João; Rangarajan, Raghuraman; Tovar, EduardoIn order to observe phenomena of interest, many applications can require extremely dense deployments of sensors with high sampling rates. We proposed XDense as a wired mesh grid sensor network architecture tailored for scenarios that can benefit from deployments as dense as thousands of sensors per square meter. In a previous work, we evaluated and validated the XDense model and its application specific potentials with extensive simulations. In this paper, we discuss the practical issues involved in implementing XDense and steps for its experimental validation.
- A Novel Runtime Monitoring ArchitecturePublication . Nelissen, Geoffrey; Pereira, David; Pinho, Luís MiguelComputing architectures become more and more complex and sometimes unpredictable. Verification techniques showed their limit, essentially when timing properties, available only at run-time, are involved. Testing improves the confidence but does not prove the correctness of the system in all possible situations.