|
About:
TIMES is a tool suite designed mainly for symbolic
schedulability analysis and synthesis of
executable code with predictable behaviors for
real-time systems. Given a system design model
consisting of a set of application tasks (required
to meet mixed timing, precedence, and resource
constraints), a network of timed automata
describing the task arrival pattern and a
preemptive or non-preemptive scheduling policy,
TIMES will generate a scheduler, and calculate
worst-case response times for the tasks. The
design model may be further validated using a
model checker and then compiled to executable C-code.
Author:
DARTS Group <darts |at| it |dot| uu |dot| se>
[contact developer]
Homepage:
http://www.timestool.com
Mailing list archive:
http://groups.yahoo.com/group/timestool
Trove categories:
[change]
| [Development Status] | | 4 - Beta | | [Environment] | | Console (Text Based), Win32 (MS Windows), X11 Applications | | [Intended Audience] | | Developers, Other Audience, Quality Engineers | | [License] | | Free For Educational Use | | [Operating System] | | Microsoft :: Windows, POSIX :: Linux, POSIX :: SunOS/Solaris | | [Programming Language] | | C++, Java | | [Topic] | | Education, Scientific/Engineering, Software Development :: Code Generators, Software Development :: Embedded Systems, Software Development :: Quality Assurance |
Dependencies:
[change]
No dependencies filed
|
|
» Rating:
(not rated)
» Vitality: 0.00% (Rank 25476)
» Popularity: 0.27% (Rank 19885)
 
(click to enlarge graphs)
Record hits: 3,062
URL hits: 766
Subscribers: 6
|
|
