Changes between Version 3 and Version 4 of SOCIS/2015/Final_Report


Ignore:
Timestamp:
10/21/15 15:41:17 (8 years ago)
Author:
Saeed Ehteshamifar
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • SOCIS/2015/Final_Report

    v3 v4  
    24243. [https://www.r-project.org/ R]: A tool to analyze results, gather statistics, extract meaningful assertions, graphs, etc.
    2525
    26 Of these 3, the first two tools were successfully adapted to RTEMS. Furthremore, CRASH failure model was proposed based on [http://users.ece.cmu.edu/~koopman/ballista/ CMU's Ballista] project. More specifically, more than 40 POSIX functions with more than 1300 test cases were tested using Slingshot. Results showed that 70 test cases failed which accounted for 4 functions: free, tanh, time, and times.
     26Of these 3, the first two tools were successfully adapted to RTEMS. More specifically, more than 40 POSIX functions with more than 1300 test cases were tested using Slingshot. Results showed that 70 test cases failed which accounted for 4 functions: free, tanh, time, and times. Furthremore, CRASH failure model was proposed based on [http://users.ece.cmu.edu/~koopman/ballista/ CMU's Ballista] project and some theoretical preliminaries were given.
    2727
    2828Documentation of the work in progress can be found in the [http://rtems-fi.blogspot.de/ blog] and final report for this project which contains future works can be found [https://docs.google.com/document/d/1DVbwDUEf0DDzzLQbYQo7oPF0zKwueCaLS87cqKSlsGw/pub here]. Just to mention the next steps briefly, the followings can be listed: