PR Software Praktikum
Projects
ws2015
Andreas Naderlinger
Projekte
•
•
•
•
•
Kula – GWT Modul für Online-Lernplatform
Makia – Verkehrsüberwachung (Bildverarbeitung)
AUTOSAR – Java-Parser/Analyzer for ARXML
LV-Eval (EnterpriseApplication)
Scheduling-Verifier (schon begonnen; jedoch ausbaubar verfügbar!)
Kula – Mathematik-Modul
• Schul-Trend: Unterricht/Hausübungen via
Online-Portale
http://IXL.com
• Mathematik-Modul
– Für die Lernplatform Kula (aktuell nur Deutsch)
Kula – Mathematik-Modul (2)
IXL.com
• 2 Aspekte: Aufgaben erstellen / lösen
• Entwicklung basiert auf GWT (Google Web Toolkit)
– Toolkit für Webanwendungen
GWT: http://www.gwtproject.org/
• Java-2-JavaScript-Compiler
• Client und Server mit Java realisierbar
z.b. https://www.google.com/inbox/
Have: Java, Want: GWT knowledge/experience
Makia – Verkehrsüberwachung
Makia – Verkehrsüberwachung (2)
• Bilderkennung
• Gefahreneinschätzung
– Szenarienzuordnung
– Auto bewegt sich,
während Zug schon
in Kamera-Sichtfeld
• Java
– für GWT-Anwendung
Have: ImageProcessing+Java, Want: apply your knowledge in real-world applications
AUTOSAR Parser/Analyzer
• AUTomotive Open System ARchitecture
• Entwicklungspartnerschaft aus Herstellern von
Automobilen, Steuergeräten, Entwicklungswerkzeugen, SteuergeräteBasis-Software und Mikrocontrollern.
• Ziel: Austausch von Software auf verschiedenen Steuergeräten zu
erleichtern.
• Softwarearchitektur mit einheitlichen Beschreibungs- und
Konfigurationsformaten für Embedded Software im Automobil.
• Definiert Methoden zur Beschreibung von
Software im Fahrzeug, die sicherstellen,
dass Softwarekomponenten wiederverwendet,
ausgetauscht, skaliert und integriert werden
können. [wiki]
http://www.autosar.org/
[Vector]
AUTOSAR Parser/Analyzer (2)
[Vogel Business Media]
•
XML-file:
Extract Information,
analyze,
merge with timing specification,
extend xml file.
50 MB+
Have: Java,
Want: XML, e.g. JDOM/StAX, Real-time/Automotive context
LV-Eval – Onlineplatform
• Online-Evaluierung für
Lehrveranstaltungen
• Auswahl geeigneter
Technologien
– JavaEE, Spring, .NET, …?
• Client/Server/DB
• Usability, security,
device independence, …
LV-Evaluation - Universität Salzburg: http://www.uni-salzburg.at/index.php?id=29957
e.g. Spring: http://spring.io/
Have: some Language, Want: Enterprise Application knowledge
RT-Scheduling-Verifier
• Input: Specification
– Scheduling policy (EDF, RM, …)
– Tasks (priority, period, offset, …)
– (random/measured) execution times
of sub-functions
t0a(){
echo(“t0a start”);
…//some computation
echo(“t0a end”);
}
0.5ms
t0b(){
echo(“t0b start”);
…//some computation
echo(“t0b end”);
}
0.5ms
t1(){
echo(“t1 start”);
…//some computation
echo(“t1 end”);
}
1ms
• Input: Trace-file from a Simulation
3.0; t0 ready; t0 running; 0a start; t0a end; 3.5; t1 ready; t0 preempt;
• Output:
t1 running; t1 start; 4.0; t1 end; t1 suspend; t0 running; t0b start;…
–
– Visualization
Background: Poster:
http://www.cosy.sbg.ac.at/~naderlinger/publications/2012_SpringSim_Poster.pdf
Have: programming skills (Java), Want: think, deal with scheduling (/simulation)