| <!DOCTYPE html> |
| <html lang="en"> |
| <head> |
| <meta charset="utf-8"> |
| <meta http-equiv="X-UA-Compatible" content="IE=edge"> |
| <meta name="viewport" content="width=device-width, initial-scale=1"> |
| |
| <meta name="author" content="Aurelien Didier for Artal Technologies"> |
| |
| <meta name="keywords" content="" /> |
| <meta name="generator" content="Hugo 0.30.2" /> |
| <link href="//fonts.googleapis.com/css?family=Open+Sans:400,700,300,600,100" rel="stylesheet" type="text/css"> |
| <link rel="shortcut icon" href="https://polarsys.org/time4sys/public/images/favicon.ico"/> |
| <title>Time4Sys</title> |
| <meta property="og:title" content="" /> |
| <meta property="og:description" content="The Time4Sys project" /> |
| <meta property="og:image" content="https://polarsys.org/time4sys/images/logo.png" /> |
| <link rel="stylesheet" href="https://polarsys.org/time4sys/public/css/solstice.css"> |
| |
| |
| |
| </head> |
| <body class="" id="body_solstice"> |
| <a class="sr-only" href="#content">Skip to main content</a> |
| <header role="banner"> |
| <div class="container"> |
| <div id="row-logo-search"> |
| <div id="header-left" class="col-sm-14 col-md-16 col-lg-19"> |
| <div class="row"> |
| <div class="hidden-xs"> |
| <a href="https://polarsys.org/time4sys/"><img src="https://polarsys.org/time4sys/images/logo.png" class="logo-eclipse-default"/></a> |
| </div> |
| <div id="main-menu" class="navbar row yamm"> |
| <div id="navbar-collapse-1" class="navbar-collapse collapse"> |
| <ul class="nav navbar-nav"> |
| |
| |
| |
| <li> |
| <a class="" href="/time4sys/"> |
| |
| Home |
| </a> |
| |
| </li> |
| |
| |
| <li> |
| <a class="" href="/time4sys/documentation/"> |
| |
| Documentation |
| </a> |
| |
| </li> |
| |
| |
| <li> |
| <a class="" href="/time4sys/community/"> |
| |
| Community |
| </a> |
| |
| </li> |
| |
| |
| <li> |
| <a class="" href="/time4sys/videos/"> |
| |
| Videos |
| </a> |
| |
| </li> |
| |
| |
| <li> |
| <a class="" href="/time4sys/about/"> |
| |
| About |
| </a> |
| |
| </li> |
| |
| <li class="dropdown"> |
| <a data-toggle="dropdown" class="dropdown-toggle">More @ Eclipse<b class="caret"></b></a> |
| <ul class="dropdown-menu"> |
| <li> |
| |
| <div class="yamm-content"> |
| <div class="row"> |
| <ul class="col-sm-8 list-unstyled"> |
| <li> |
| <p><strong>Community</strong></p> |
| </li> |
| <li><a href="http://marketplace.eclipse.org">Marketplace</a></li> |
| <li><a href="http://events.eclipse.org">Events</a></li> |
| <li><a href="http://www.planeteclipse.org/">Planet Eclipse</a></li> |
| <li><a href="https://eclipse.org/community/eclipse_newsletter/">Newsletter</a></li> |
| <li><a href="https://www.youtube.com/user/EclipseFdn">Videos</a></li> |
| </ul> |
| <ul class="col-sm-8 list-unstyled"> |
| <li> |
| <p><strong>Participate</strong></p> |
| </li> |
| <li><a href="https://bugs.eclipse.org/bugs/">Report a Bug</a></li> |
| <li><a href="https://eclipse.org/forums/">Forums</a></li> |
| <li><a href="https://eclipse.org/mail/">Mailing Lists</a></li> |
| <li><a href="https://wiki.eclipse.org/">Wiki</a></li> |
| <li><a href="https://wiki.eclipse.org/IRC">IRC</a></li> |
| <li><a href="https://eclipse.org/contribute/">How to Contribute</a></li> |
| </ul> |
| <ul class="col-sm-8 list-unstyled"> |
| <li> |
| <p><strong>Working Groups</strong></p> |
| </li> |
| <li><a href="http://wiki.eclipse.org/Auto_IWG">Automotive</a></li> |
| <li><a href="http://iot.eclipse.org">Internet of Things</a></li> |
| <li><a href="http://locationtech.org">LocationTech</a></li> |
| <li><a href="http://lts.eclipse.org">Long-Term Support</a></li> |
| <li><a href="http://polarsys.org">PolarSys</a></li> |
| <li><a href="http://science.eclipse.org">Science</a></li> |
| <li><a href="http://www.openmdm.org">OpenMDM</a></li> |
| </ul> |
| </div> |
| </div> |
| </li> |
| </ul> |
| </li> |
| |
| |
| </ul> |
| </div> |
| <div class="navbar-header"> |
| <button type="button" class="navbar-toggle" data-toggle="collapse" data-target="#navbar-collapse-1"> |
| <span class="sr-only">Toggle navigation</span> |
| <span class="icon-bar"></span> |
| <span class="icon-bar"></span> |
| <span class="icon-bar"></span> |
| <span class="icon-bar"></span> |
| </button> |
| <a href="https://polarsys.org/time4sys/" class="navbar-brand visible-xs"><img src="https://polarsys.org/time4sys/public/images/logo/APP4MCLogo.png" alt="APP4MC logo" width="174" class="logo-eclipse-default"/></a> |
| </div> |
| </div> |
| </div> |
| </div> |
| <div id="header-right" class="form-inline col-sm-10 col-md-8 col-lg-5 hidden-print hidden-xs"> |
| <div id="header-right-container"> |
| <div id="custom-search-form" class="reset-box-sizing"> |
| <script> |
| (function() { |
| var cx = '011805775785170369411:15ipmpflp-0'; |
| var gcse = document.createElement('script'); |
| gcse.type = 'text/javascript'; |
| gcse.async = true; |
| gcse.src = (document.location.protocol == 'https:' ? 'https:' : 'http:') + |
| '//cse.google.com/cse.js?cx=' + cx; |
| var s = document.getElementsByTagName('script')[0]; |
| s.parentNode.insertBefore(gcse, s); |
| })(); |
| </script> |
| <gcse:searchbox-only></gcse:searchbox-only> |
| </div> |
| |
| |
| <a id="btn-call-for-action" href="https://polarsys.org/time4sys//downloads" class="btn btn-huge btn-warning"><i class="fa fa-download"></i> Download</a> |
| </div> |
| </div> |
| </div> |
| </div> |
| </header> |
| <section id="breadcrumb" class="defaut-breadcrumbs hidden-print"> |
| <div class="container"> |
| <h3 class="sr-only">Breadcrumbs</h3> |
| <div class="col-xs-24"> |
| |
| |
| <ol class="breadcrumb"> |
| <li><a href="/">home</a></li> |
| <li><a href="https://polarsys.org/time4sys/">Time4Sys</a></li> |
| |
| |
| |
| <li><a href='https://polarsys.org/time4sys/about'>about</a></li> |
| |
| |
| |
| |
| |
| |
| </ol> |
| </div> |
| </div> |
| </section> |
| |
| <main role="main" class=" no-promo"> |
| <div class="container background-image-none" id="novaContent"> |
| |
| |
| |
| |
| <h1>About</h1> |
| |
| |
| |
| <hr /> |
| |
| <p>PolarSys Time4Sys provides a framework that fills the gap between the capture of timing aspects in the design phase of a real-time system and the ability of specific/dedicated tools to verify the consistency and performances of a given scheduling.</p> |
| |
| <p>Time4Sys is composed of two building blocks (the Design and the Analysis pivot models) as well as a set of transformation rules between them.</p> |
| |
| <h4 id="design-pivot-model">Design Pivot Model</h4> |
| |
| <p>Time4Sys Design model uses a subset of the MARTE OMG standard as a basis to represent a synthetic view of the system design model that captures all elements, data and properties impacting the system timing behaviour and required to perform scheduling analysis or simulation (e.g. tasks mapping on processors, communication links, execution times, scheduling parameters, etc.). Time4Sys Design is not limited to the use of a particular design modelling tool and environment. It can be connected to various environments and languages such as UML, SysML, AADL, or any other proprietary environment (e.g. Capella).</p> |
| |
| <h4 id="transformation-rules">Transformation Rules</h4> |
| |
| <p>Scheduling analysis and simulation are seldom directly applicable to the conceptual design models in general and to Time4Sys Design models in particular due to the semantic mismatch between the latter and the variety of analysis and simulation models known from the classical real time systems research and represented by academic and commercial tools.</p> |
| |
| <h4 id="analysis-tools">Analysis Tools</h4> |
| |
| <p>Time4Sys Analysis pivot model is based on generic modelling concepts known from the classical real time systems research, such as tasks, processors, busses, scheduling parameters (priorities, time slots, deadlines, etc.). Time4Sys Analysis models preserve the timing behaviour modelled in the corresponding Time4Sys Design models, while ensuring the compatibility with the variety of existing timing verification tools. Same as Time4Sys Design, Time4Sys Analysis is not limited to a specific timing verification tool. This ensures a minimum of independence from the timing verification tools specificities and allows hiding its complexity to the designer. If required, one timing verification tool can be easily replaced by another. Ultimately, several tools could also be used together to run a timing verification. After timing verification in the selected tool, results are injected in Time4Sys Analysis. Then, they are translated to be compliant with the original design model and reinjected back in Time4Sys Design.</p> |
| |
| |
| |
| |
| </div> |
| </main> |
| |
| <p id="back-to-top"> |
| <a class="visible-xs" href="#top">Back to the top</a> |
| </p> |
| <footer role="contentinfo" id="solstice-footer"> |
| <div class="container"> |
| <div class="row"> |
| <section id="footer-eclipse-foundation" class="col-xs-offset-1 col-xs-11 col-sm-7 col-md-6 col-md-offset-0 hidden-print"> |
| <h2 class="section-title">Eclipse Foundation</h2> |
| <ul class="nav"> |
| <li><a href="https://eclipse.org/org/">About us</a></li> |
| <li><a href="https://eclipse.org/org/foundation/contact.php">Contact Us</a></li> |
| <li><a href="https://eclipse.org/donate">Donate</a></li> |
| <li><a href="https://eclipse.org/org/documents/">Governance</a></li> |
| <li><a href="https://eclipse.org/artwork/">Logo and Artwork</a></li> |
| <li><a href="https://eclipse.org/org/foundation/directors.php">Board of Directors</a></li> |
| </ul> |
| </section> |
| <section id="footer-legal" class="col-xs-offset-1 col-xs-11 col-sm-7 col-md-6 col-md-offset-0 hidden-print "> |
| <h2 class="section-title">Legal</h2> |
| <ul class="nav"> |
| <li><a href="https://eclipse.org/legal/privacy.php">Privacy Policy</a></li> |
| <li><a href="https://eclipse.org/legal/termsofuse.php">Terms of Use</a></li> |
| <li><a href="https://eclipse.org/legal/copyright.php">Copyright Agent</a></li> |
| <li><a href="https://eclipse.org/org/documents/epl-v10.php">Eclipse Public License </a></li> |
| <li><a href="https://eclipse.org/legal/">Legal Resources </a></li> |
| </ul> |
| </section> |
| <section id="footer-useful-links" class="col-xs-offset-1 col-xs-11 col-sm-7 col-md-6 col-md-offset-0 hidden-print"> |
| <h2 class="section-title">Useful Links</h2> |
| <ul class="nav"> |
| <li><a href="https://bugs.eclipse.org/bugs/">Report a Bug</a></li> |
| <li><a href="//help.eclipse.org/">Documentation</a></li> |
| <li><a href="https://eclipse.org/contribute/">How to Contribute</a></li> |
| <li><a href="https://eclipse.org/mail/">Mailing Lists</a></li> |
| <li><a href="https://eclipse.org/forums/">Forums</a></li> |
| <li><a href="//marketplace.eclipse.org">Marketplace</a></li> |
| </ul> |
| </section> |
| <section id="footer-other" class="col-xs-offset-1 col-xs-11 col-sm-7 col-md-6 col-md-offset-0 hidden-print"> |
| <h2 class="section-title">Other</h2> |
| <ul class="nav"> |
| <li><a href="https://eclipse.org/ide/">IDE and Tools</a></li> |
| <li><a href="https://eclipse.org/projects">Community of Projects</a></li> |
| <li><a href="https://eclipse.org/org/workinggroups/">Working Groups</a></li> |
| </ul> |
| <ul class="list-inline social-media"> |
| <li><a href="https://twitter.com/EclipseFdn"><i class="fa fa-twitter-square"></i></a></li> |
| <li><a href="https://plus.google.com/+Eclipse"><i class="fa fa-google-plus-square"></i></a></li> |
| <li><a href="https://www.facebook.com/eclipse.org"><i class="fa fa-facebook-square"></i> </a></li> |
| <li><a href="https://www.youtube.com/user/EclipseFdn"><i class="fa fa-youtube-square"></i></a></li> |
| </ul> |
| </section> |
| <div id="copyright" class="col-xs-offset-1 col-sm-14 col-md-24 col-md-offset-0"> |
| <div> |
| <span class="hidden-print"><img src="https://polarsys.org/time4sys/public/images/logo/eclipse-logo-bw-800x188.png" alt="Eclipse.org black and white logo" width="166" height="39" id="logo-eclipse-white"/></span> |
| <p id="copyright-text">Copyright © 2015 The Eclipse Foundation. All Rights Reserved.</p> |
| </div> |
| </div> |
| <a href="#" class="scrollup">Back to the top</a> |
| </div> |
| </div> |
| </footer> |
| |
| <script src="https://polarsys.org/time4sys/public/js/solstice.js"></script> |
| <script type="text/javascript"> |
| var _gaq = _gaq || []; |
| _gaq.push(['_setAccount', 'UA-910670-2']); |
| _gaq.push(['_trackPageview']); |
| |
| (function() { |
| var ga = document.createElement('script'); ga.type = 'text/javascript'; ga.async = true; |
| ga.src = ('https:' == document.location.protocol ? 'https://ssl' : 'http://www') + '.google-analytics.com/ga.js'; |
| var s = document.getElementsByTagName('script')[0]; s.parentNode.insertBefore(ga, s); |
| })(); |
| |
| </script> |
| </body> |
| </html> |
