<?xml version="1.0" encoding="utf-8"?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1 plus MathML 2.0 plus SVG 1.1//EN" "http://www.w3.org/2002/04/xhtml-math-svg/xhtml-math-svg.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
  <head>
    <meta http-equiv="Content-Type" content="application/xhtml+xml; charset=utf-8"/>
    <title>Project-Team:AOSTE</title>
    <link rel="stylesheet" href="../static/css/raweb.css" type="text/css"/>
    <meta name="description" content="New Software and Platforms - SAS"/>
    <meta name="dc.title" content="New Software and Platforms - SAS"/>
    <meta name="dc.subject" content=""/>
    <meta name="dc.publisher" content="INRIA"/>
    <meta name="dc.date" content="(SCHEME=ISO8601) 2016-01"/>
    <meta name="dc.type" content="Report"/>
    <meta name="dc.language" content="(SCHEME=ISO639-1) en"/>
    <meta name="projet" content="AOSTE"/>
    <script type="text/javascript" src="https://raweb.inria.fr/rapportsactivite/RA2016/static/MathJax/MathJax.js?config=TeX-MML-AM_CHTML">
      <!--MathJax-->
    </script>
  </head>
  <body>
    <div class="tdmdiv">
      <div class="logo">
        <a href="http://www.inria.fr">
          <img style="align:bottom; border:none" src="../static/img/icons/logo_INRIA-coul.jpg" alt="Inria"/>
        </a>
      </div>
      <div class="TdmEntry">
        <div class="tdmentete">
          <a href="uid0.html">Project-Team Aoste</a>
        </div>
        <span>
          <a href="uid1.html">Members</a>
        </span>
      </div>
      <div class="TdmEntry">Overall Objectives<ul><li><a href="./uid3.html">Embedded System Design</a></li></ul></div>
      <div class="TdmEntry">Research Program<ul><li><a href="uid5.html&#10;&#9;&#9;  ">Models of Computation and Communication (MoCCs)</a></li><li><a href="uid8.html&#10;&#9;&#9;  ">Logical Time in Model-Driven Embedded System Design</a></li><li><a href="uid9.html&#10;&#9;&#9;  ">The AAA (Algorithm-Architecture Adequation) methodology and Real-Time Scheduling</a></li></ul></div>
      <div class="TdmEntry">Application Domains<ul><li><a href="uid13.html&#10;&#9;&#9;  ">System Engineering Environments</a></li><li><a href="uid14.html&#10;&#9;&#9;  ">Many-Core Embedded Architectures</a></li><li><a href="uid15.html&#10;&#9;&#9;  ">Transportation and the avionic domain</a></li></ul></div>
      <div class="TdmEntry">New Software and Platforms<ul><li><a href="uid17.html&#10;&#9;&#9;  ">EVT Kopernic</a></li><li><a href="uid21.html&#10;&#9;&#9;  ">KPASSA</a></li><li><a href="uid25.html&#10;&#9;&#9;  ">Lopht</a></li><li class="tdmActPage"><a href="uid33.html&#10;&#9;&#9;  ">SAS</a></li><li><a href="uid37.html&#10;&#9;&#9;  ">SynDEx</a></li><li><a href="uid40.html&#10;&#9;&#9;  ">TimeSquare</a></li><li><a href="uid50.html&#10;&#9;&#9;  ">Vercors</a></li></ul></div>
      <div class="TdmEntry">New Results<ul><li><a href="uid55.html&#10;&#9;&#9;  ">CCSL as a Logical Clock Calculus Algebra:
expressiveness and analysis techniques</a></li><li><a href="uid56.html&#10;&#9;&#9;  ">Industrial design flow for Embedded System Engineering</a></li><li><a href="uid57.html&#10;&#9;&#9;  ">Coordination of heterogeneous Models of Computation as Domain-Specific Languages</a></li><li><a href="uid58.html&#10;&#9;&#9;  ">SoC multiview (meta)modeling for performance, power, and thermal aspects</a></li><li><a href="uid59.html&#10;&#9;&#9;  ">MoCs and novel architectures</a></li><li><a href="uid60.html&#10;&#9;&#9;  ">Solving AAA constraints analytically</a></li><li><a href="uid61.html&#10;&#9;&#9;  ">Coupling SystemC and FMI for co-simulation of Cyber-Physical Systems</a></li><li><a href="uid62.html&#10;&#9;&#9;  ">Behavioural Semantics if Open pNets</a></li><li><a href="uid63.html&#10;&#9;&#9;  ">Behavioural semantics for GCM components</a></li><li><a href="uid64.html&#10;&#9;&#9;  ">Performance analysis and optimisation of an HPC scientific application</a></li><li><a href="uid74.html&#10;&#9;&#9;  ">Formal translation validation of multi-processor real-time schedules</a></li><li><a href="uid78.html&#10;&#9;&#9;  ">Lopht back-end for TTEthernet-based distributed systems</a></li><li><a href="uid79.html&#10;&#9;&#9;  ">Uniprocessor Real-Time Scheduling</a></li><li><a href="uid80.html&#10;&#9;&#9;  ">Multiprocessor Real-Time Scheduling</a></li><li><a href="uid81.html&#10;&#9;&#9;  ">Probabilistic Solutions for Hard Real-Time Systems</a></li></ul></div>
      <div class="TdmEntry">Bilateral Contracts and Grants with Industry<ul><li><a href="uid83.html&#10;&#9;&#9;  ">Bilateral Contracts with Industry</a></li></ul></div>
      <div class="TdmEntry">Partnerships and Cooperations<ul><li><a href="uid86.html&#10;&#9;&#9;  ">National Initiatives</a></li><li><a href="uid96.html&#10;&#9;&#9;  ">European Initiatives</a></li><li><a href="uid99.html&#10;&#9;&#9;  ">International Initiatives</a></li><li><a href="uid109.html&#10;&#9;&#9;  ">International Research Visitors</a></li></ul></div>
      <div class="TdmEntry">Dissemination<ul><li><a href="uid116.html&#10;&#9;&#9;  ">Promoting Scientific Activities</a></li><li><a href="uid128.html&#10;&#9;&#9;  ">Teaching - Supervision - Juries</a></li><li><a href="uid175.html&#10;&#9;&#9;  ">Popularization</a></li></ul></div>
      <div class="TdmEntry">
        <div>Bibliography</div>
      </div>
      <div class="TdmEntry">
        <ul>
          <li>
            <a id="tdmbibentmajor" href="bibliography.html">Major publications</a>
          </li>
          <li>
            <a id="tdmbibentyear" href="bibliography.html#year">Publications of the year</a>
          </li>
          <li>
            <a id="tdmbibentfoot" href="bibliography.html#References">References in notes</a>
          </li>
        </ul>
      </div>
    </div>
    <div id="main">
      <div class="mainentete">
        <div id="head_agauche">
          <small><a href="http://www.inria.fr">
	    
	    Inria
	  </a> | <a href="../index.html">
	    
	    Raweb 
	    2016</a> | <a href="http://www.inria.fr/en/teams/aoste">Presentation of the Project-Team AOSTE</a> | <a href="http://www-sop.inria.fr/aoste/">AOSTE Web Site
	  </a></small>
        </div>
        <div id="head_adroite">
          <table class="qrcode">
            <tr>
              <td>
                <a href="aoste.xml">
                  <img style="align:bottom; border:none" alt="XML" src="../static/img/icons/xml_motif.png"/>
                </a>
              </td>
              <td>
                <a href="aoste.pdf">
                  <img style="align:bottom; border:none" alt="PDF" src="IMG/qrcode-aoste-pdf.png"/>
                </a>
              </td>
              <td>
                <a href="../aoste/aoste.epub">
                  <img style="align:bottom; border:none" alt="e-pub" src="IMG/qrcode-aoste-epub.png"/>
                </a>
              </td>
            </tr>
            <tr>
              <td/>
              <td>PDF
</td>
              <td>e-Pub
</td>
            </tr>
          </table>
        </div>
      </div>
      <!--FIN du corps du module-->
      <br/>
      <div class="bottomNavigation">
        <div class="tail_aucentre">
          <a href="./uid25.html" accesskey="P"><img style="align:bottom; border:none" alt="previous" src="../static/img/icons/previous_motif.jpg"/> Previous | </a>
          <a href="./uid0.html" accesskey="U"><img style="align:bottom; border:none" alt="up" src="../static/img/icons/up_motif.jpg"/>  Home</a>
          <a href="./uid37.html" accesskey="N"> | Next <img style="align:bottom; border:none" alt="next" src="../static/img/icons/next_motif.jpg"/></a>
        </div>
        <br/>
      </div>
      <div id="textepage">
        <!--DEBUT2 du corps du module-->
        <h2>Section: 
      New Software and Platforms</h2>
        <h3 class="titre3">SAS</h3>
        <p>Simulation and Analysis of Scheduling</p>
        <p class="notaparagraph"><span class="smallcap">Scientific Description </span>
The SAS (Simulation and Analysis of Scheduling) software allows the user to perform the schedulability analysis of periodic task systems in the monoprocessor case.</p>
        <p>The main contribution of SAS, when compared to other commercial and academic softwares of the same kind, is that it takes into account the exact preemption cost between tasks during the schedulability analysis. Beside usual real-time constraints (precedence, strict periodicity, latency, etc.) and fixed-priority scheduling policies (Rate Monotonic, Deadline Monotonic, Audsley++, User priorities), SAS additionaly allows to select dynamic scheduling policy algorithms such as Earliest Deadline First (EDF). The resulting schedule is displayed as a typical Gantt chart with a transient and a permanent phase, or as a disk shape called "dameid", which clearly highlights the idle slots of the processor in the permanent phase.</p>
        <p class="notaparagraph"><span class="smallcap">Functional Description </span>
The SAS software allows the user to perform the schedulability analysis of periodic task systems in the monoprocessor case.</p>
        <ul>
          <li>
            <p class="notaparagraph"><a name="uid34"> </a>Participants: Daniel De Rauglaudre and Yves Sorel</p>
          </li>
          <li>
            <p class="notaparagraph"><a name="uid35"> </a>Contact: Yves Sorel</p>
          </li>
          <li>
            <p class="notaparagraph"><a name="uid36"> </a>URL: <a href="http://pauillac.inria.fr/~ddr/sas-dameid/">http://pauillac.inria.fr/~ddr/sas-dameid/</a></p>
          </li>
        </ul>
      </div>
      <!--FIN du corps du module-->
      <br/>
      <div class="bottomNavigation">
        <div class="tail_aucentre">
          <a href="./uid25.html" accesskey="P"><img style="align:bottom; border:none" alt="previous" src="../static/img/icons/previous_motif.jpg"/> Previous | </a>
          <a href="./uid0.html" accesskey="U"><img style="align:bottom; border:none" alt="up" src="../static/img/icons/up_motif.jpg"/>  Home</a>
          <a href="./uid37.html" accesskey="N"> | Next <img style="align:bottom; border:none" alt="next" src="../static/img/icons/next_motif.jpg"/></a>
        </div>
        <br/>
      </div>
    </div>
  </body>
</html>
