6 citations · 16 across the 17 of their papers we have counts for
8 papers · 1 filter
Engineering Resource-constrained Software Systems with DNN Components: a Concept-based Pruning Approach
Federico Formica, Andrea Rota, Aurora Francesca Zanenga +4
Deep Neural Networks (DNNs) are widely used by engineers to solve difficult problems that require predictive modeling from data. However, these models are often massive, with milli…
Search-based Software Testing Driven by Domain Knowledge: Reflections and New Perspectives
Federico Formica, Mark Lawford, Claudio Menghi
Search-based Software Testing (SBST) can automatically generate test cases to search for requirements violations. Unlike manual test case development, it can generate a substantial…
Search-based Testing of Simulink Models with Requirements Tables
Federico Formica, Chris George, Shayda Rahmatyan +4
Search-based software testing (SBST) of Simulink models helps find scenarios that demonstrate that the system can reach a state that violates one of its requirements. However, many…
Test Case Generation for Drivability Requirements of an Automotive Cruise Controller: An Experience with an Industrial Simulator
Federico Formica, Nicholas Petrunti, Lucas Bruck +3
Automotive software development requires engineers to test their systems to detect violations of both functional and drivability requirements. Functional requirements define the fu…
Simulation-based Testing of Simulink Models with Test Sequence and Test Assessment Blocks
Federico Formica, Tony Fan, Akshay Rajhans +3
Simulation-based software testing supports engineers in finding faults in Simulink models. It typically relies on search algorithms that iteratively generate test inputs used to ex…
Supporting Modularity in Simulink Models
Monika Jaskolka, Vera Pantelic, Alan Wassyng +1
Model-Based Development (MBD) is widely used for embedded controls development, with Matlab Simulink being one of the most used modelling environments in industry. As with all soft…
Assurance via workflow+ modelling and conformance
Zinovy Diskin, Nicholas Annable, Alan Wassyng +1
We propose considering assurance as a model management enterprise: saying that a system is safe amounts to specifying three workflows modelling how the safety engineering process i…
Formal Verification of Real-Time Function Blocks Using PVS
Linna Pang, Chen-Wei Wang, Mark Lawford +4
A critical step towards certifying safety-critical systems is to check their conformance to hard real-time requirements. A promising way to achieve this is by building the systems…