71
ÅboAkademiUniversity2014/2015
ÅBO CAMPUS
.
Simulationof thebehaviorof controlledprocesses
.
Simulatingbehaviorof faultyhardware
.
Techniques for safetyanalysis: FMEA, FTA, FFA,HAZOP
.
Deriving software requirements from safetyanalysis
.
Modellingrequirementsusingusecases, statediagrams
.
Allocating safety requirements
.
Architecting safetycritical systems, systempartitioning
.
Safetykernel
.
Layeredapproach toarchitecting
.
Verification: overviewof staticanddynamic testing
.
Safety-critical systemsdevelopment life-cycle
.
Safety integrity levels
.
Brief introduction to formalmethods
Course website:
-
Course15.htm
Course literature:
Neil Storey: Safety Critical Computer Systems Addison-
Wesley, 1996
Nancy Leveson: Safeware: System Safety and Computers.
Addison-Wesley, 1996
DebraS.Herrmann SoftwareSafetyandReliability
IEEEComputer Society, 1999
ModellingofEmbeddedSystems
453503.0
5credits
Advanced (Master's /graduate) level
Lecturedcourse,exercises, researchexercises ingroups
Offered:Spring2015
Lecturer: SébastienLafond
Aim: To convey themain concepts needed for apprehend-
ingmodelingapplied toembedded systems: stateand state
space,modelsofcomputationandconcurrency,communica-
tion,modelingofdataand time.
Thecoursewillcoverconceptsand techniques formodelling
ofsystemsatvarious levelsofabstraction.Wewillconcentrate
particularly on embedded systems. Their design present a
greatchallenge in termsofmodelling,becauseof thevariety
of concepts one need to handle in order to describe them
correctly.
Learningoutcomes:
.
Comparedifferentmodelsof computation
.
Describe embedded applicationswith the appropriate
modelsof computation
.
Analysemodelsofcomputation forconsistency,schedu-
lability, reachabilityandcoverability
.
Model systemconcurrency
Designmethods forenergyefficientembedded
systems
453506.0
5credits
Advanced (Master's /graduate) level
Lecturedcourse,exercises, researchexercises ingroups
Offered:Autumn2014
Lecturer: SebastienLafond
Aimandcontent:
Wewill study thedesignof embedded systemswithhighly
data-intensivecharacter. Suchsystems include implementa-
tions of media processing algorithms. The implementation
is subject to constraints that include energy consumption,
siliconarea, and speed. In this coursewewill emphasizeen-
ergyconsumptionand speedand studyhardware/software
tradeoff s and software optimizations. Students will learn
about system level modeling, energy consumption estima-
tion, architecturalmappingand system simulation.
Themaincontentsof thecourseare:
-Designflows for EmbeddedSystems
-Hardwareplatforms
- PowerConsumptionand itsestimation
-Memoryconsumption
Prerequisites: Programming in C/C++, Embedded Systems
design, Operation systems, Microprocessors and micro
controllers
InformationSystems
Information systems are keyand crucial components of any
organizations' infrastructure inamodernsocietywheredigital
technology is part of all functions. Information systems are
essential tools forany individual thatwants tomakeacareer
inmodern business, for people forming groups and teams
in social networks and formanagers and leaders that build
cooperation for commongoals. Therefore, it is important for
anyorganizationtohave individualswithsocialandanalytical
skills, with competence and skills inmanaging information
systems, andwith a strong competence inproblem-solving
inall the functionsof amodern corporation. This is thekind
of individuals that InformationSystemsatÅboAkademiUni-
versityaims tograduate.
Aspartofour informationsystemscurriculum,onecanacquire
in-depthknowledge inmanagementscienceand information
systems platforms, electronic andmobile commerce, data
mining and business intelligence, IT project planning and
usabilityof information systems.
Themajority of the courses in Information Systems that are
offered inEnglishareonadvanced levelandarethus intended
for studentsonmaster's /graduate level.
Managing theDigitalEnterprise
457304.0
5credits
Intermediate level
Offered :Autumn2014
Lecturer: AnnaSell, e-mail:
Learning objectives: Upon completion of the course, the
student should
beable to:
.
Recognize,describeandanalyzebusinessmodels in the
digital environment
.
Understandanddescribethedigitalizationofenterprises,
organizationsandsocietyand theconsequencesof this
on themarket environment
.
Understand andbe able to apply central concepts and
terminology within the field of electronic commerce
correctly
.
Understandhow informationtechnologycanbeusedto
leveragecompetitivenessandstrategy inorganizations
from three perspectives: Business-to-business (B2B),
Business-to-consumer (B2C) andBusiness-to-employee
(B2E)
.
Beabletodescribewaystocreateandmaintaintrustand
loyalty in thedigital environment
.
Recognize central security risks in the digital environ-
ment and understand issues concerning integrity of
individuals, organizations and data in the electronic
commercecontext
.
Gainbasicunderstandingofwebanalytics, understand
central webmetrics and understand how data can be
utilized to improvecompany strategyandoperations
Literature: Tobeannounced
Prerequisites: Basic studies in information systems
