/* long term */

This commit is contained in:
Megfault 2015-01-13 14:37:00 +00:00
parent 161c61d85a
commit 4ca3a4631f

View File

@ -116,6 +116,21 @@ see: [[EDN#Events | EDN events]]
=== long term ===
# '''Research and analysis:''' [[EDN/ResearchAndAnalysis|Research and analysis]]
#* '''Research:''' to list all relevant approaches and technologies
#* '''Analysis:''' to establish (success) criteria (functional specification); to evaluate and compare existing approaches
# '''Concept of the overall system:''' contains the purposeful extension of existing approaches or also new developments, in order to fulfill all criteria
# '''specification:''' formal description of all components from the concept, as well as of the criteria (preferrably all quantifiable criteria), where possible and sensible
# '''Evaluation:''' to evaluate the formal model of the specification, whether it fulfills the criteria (e.g. via theorem proof and probabilistic model checking)
# '''Implementation:''' Implementation of the specification for the different platforms
# '''Testing the implementations:'''
#* Proving that the implementation covers the formal specifications
#* Testing of all components (unit test)
#* Testing of the overall system (audit)
#* Usability testing
#* Testing attack scenarios (Penetrationstest = Pentest)
# '''Distribution''' of software and hardware, where needed
== Contribute ==
== Recherche ==