|
|
Primary |
Secondary |
com.microsoft.z3 |
Microsoft Z3 libraries, Java bindings and utilities |
{color:red} JE |
{color:green} MV |
eu.fbk.af3.tools.diagram |
Possibly removed |
{color:red} ? |
{color:green} ? |
af3.allocation |
Deployments between architectures |
SB |
AD |
af3.component |
Component language with code behavior specifications. |
AB |
FH |
af3.cosimulation |
|
{color:red} TM |
JE |
af3.exploration |
|
AD |
JE |
af3.exploration.smt |
|
MV |
JE |
af3.expression |
Expression and action language (functional and imperative). |
FH |
AB |
af3.generator.common |
Common code for Java and C code generation. |
FH |
AB |
af3.mira |
Requirements modeling and analysis. |
- |
- |
af3.mode |
Mode automata for component behavior specification. |
FH |
TC |
af3.operatorpanel |
Operator panel specifications. |
FH |
TC |
af3.partition |
Vendor-independent partition architecture model |
SB |
AD |
af3.platform |
Platform modeling framework and Generic Platform model |
SB |
FH |
af3.platform.hierarchic |
Generic hierarchical platform. |
SB |
AD |
af3.project |
Project collecting all design specifications. |
FH |
AB |
af3.rcapplication |
AutoFOCUS 3 application. |
AD |
FH |
af3.rchelp |
AutoFOCUS 3 online hel |
SB |
JE |
af3.safety |
Modeling of safety properties |
AD |
JE |
af3.safetycases |
Specification of safety cases. |
CC |
SB? |
af3.schedule |
Modeling resource and system schedules |
SB |
JE |
af3.state |
State automata for component behavior specification. |
FH |
TM |
af3.task |
Vendor-independent task architecture model |
JE |
SB |
af3.timing |
Modeling of temporal requirements and properties |
AD |
TM |