Welcome to ScEpTIC’s documentation!
ScEpTIC (Simulation Environment to Test Intermittent Computations) is a simulation environment that enables researchers and developers to emulate intermittent executions of programs.
ScEpTIC emulates the execution of the LLVM IR of programs, that is, an intermediate representation of their source code. ScEpTIC allows developers to simulate devices’ energy consumption, ambient energy sources and energy harvesting, and the occurrence of energy failures. ScEpTIC supports emulating custom hardware components’ behavior and energy consumption, enabling researchers and developers to evaluate new system designs.
ScEpTIC functionalities
Emulation of LLVM IR
Emulation of register file, register allocation, and volatile and non-volatile memories
Emulation of peripherals
Emulation of state retention
Emulation of hardware interrupts
Emulation of hardware timers
Emulation of devices energy consumption and energy failures (energy buffer, MCU, peripherals, voltage regulator, energy harvester)
Emulation of hardware components and custom circuitry (behavior and energy consumption)
Emulation of a generic timekeeper
Collection of custom metrics
Definition and execution of custom builtins, libraries, and ISA instructions
Definition and application of custom code transformations
ScEpTIC Repo
You can find ScEpTIC repo at https://bitbucket.org/neslabpolimi/sceptic
git clone https://bitbucket.org/neslabpolimi/sceptic.git
> Cite ScEpTIC
You can cite ScEpTIC and/or our analysis techniques as:
Andrea Maioli, Luca Mottola, Muhammad Hamad Alizai, and Junaid Haroon Siddiqui. 2021.
Discovering the Hidden Anomalies of Intermittent Computing. In Proceedings of the 2021
International Conference on Embedded Wireless Systems and Networks (EWSN '21).
Bibtex:
@inproceedings{sceptic,
author = {Andrea Maioli and Luca Mottola and Muhammad Hamad Alizai and Junaid Haroon Siddiqui},
title = {Discovering the Hidden Anomalies of Intermittent Computing},
year = {2021},
series = {EWSN 2021},
booktitle = {Proceedings of the 2021 International Conference on Embedded Wireless Systems and Networks}
}
> Published Works that use ScEpTIC
- Veronica Rovelli, Andrea Maioli, and Luca Mottola. 2024. EXTREMIS: Static Frequency Switching for Battery-less Devices. In Proceedings of the 12th International Workshop on Energy Harvesting and Energy-Neutral Sensing Systems (ENSsys ‘24).
- Andrea Maioli and Luca Mottola. 2021. ALFRED: Virtual Memory for Intermittent Computing. In Proceedings of the 19th ACM Conference on Embedded Networked Sensor Systems (SenSys ‘21).
- Andrea Maioli, Luca Mottola, Muhammad Hamad Alizai, and Junaid Haroon Siddiqui. 2021. Discovering the Hidden Anomalies of Intermittent Computing. In Proceedings of the 2021 International Conference on Embedded Wireless Systems and Networks (EWSN ‘21).
- Andrea Maioli, Luca Mottola, Muhammad Hamad Alizai, and Junaid Haroon Siddiqui. 2019. On intermittence bugs in the battery-less internet of things (WIP paper). In Proceedings of the 20th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES 2019).