Safety-critical systems are pervasive in the aerospace industry
[EXPAND].
The development of safety-critical systems to be certified as highly
safe requires various different skills and the use of a number of
techniques from programming real-time applications to validation
methods including testing and formal verification.
This document describes a research-based doctoral programme
particularly targeted at the aerospace industry's human resources
necessities in the area of computing. The programme trains researchers
with a strong background in topics related to safety-critical
systems. It comprises a first year of taught courses, followed by a
research project leading to a thesis.
The first year is structured around a number of core courses to be
taken by all students, together with a choice of elective
courses. Moreover, the program also offers a few unifying courses to
cover the foundations required by core courses. The offer of core
course encompasses both programming, validation, and formal
techniques.
1) Unifying Courses
Logic and Algebraic Foundations
Concurrent and Real-time Programming
2) Core Courses
Formal Systems Modeling
Model Checking: Principles and Tools
Static Analysis and Program Verification Techniques
Software Testing
Certified Safety-critical Systems
3) Elective Courses
Cryptographic Techniques
(...)
The programme brings together European research groups with expertise
in the above topics, that are involved in reserch projects in the area of safety-critical systems.
-- JorgeSousaPinto - 19 Feb 2009
TWiki.Personal/Jorge Web Preferences The following settings are web preferences of the TWiki.Personal/Jorge web. These preferences overwrite the site level preferences ...
Safety critical systems are pervasive in the aerospace industry EXPAND . The development of safety critical systems to be certified as highly safe requires various ...
TWiki's Personal/Jorge web /view/Personal/Jorge The web for users, groups and offices. TWiki is a Web Based Collaboration Platform for the Corporate World.
This is a subscription service to be automatically notified by e mail when topics change in this Personal/Jorge web. This is a convenient service, so you do not ...
Safety critical systems are pervasive in the aerospace industry EXPAND . The development of safety critical systems to be certified as highly safe requires various ...
This is a subscription service to be automatically notified by e mail when topics change in this Personal/Jorge web. This is a convenient service, so you do not ...
TWiki.Personal/Jorge Web Preferences The following settings are web preferences of the TWiki.Personal/Jorge web. These preferences overwrite the site level preferences ...
TWiki's Personal/Jorge web /view/Personal/Jorge The web for users, groups and offices. TWiki is a Web Based Collaboration Platform for the Corporate World.
This is a subscription service to be automatically notified by e-mail when topics change in this Personal/Jorge web. This is a convenient service, so you do not have to come back and check all the time if something has changed. To subscribe, please add a bullet with your WikiName in alphabetical order to this list:
Format: <space><space><space>, followed by: * Main.yourWikiName (if you want that the e-mail address in your home page is used) * Main.yourWikiName - yourEmailAddress (if you want to specify a different e-mail address) * Main.anyTWikiGroup (if you want to notify all members of a particular TWikiGroup)
Related topics:TWikiUsers, TWikiRegistration
The following settings are web preferences of the TWiki.Personal/Jorge web. These preferences overwrite the site-level preferences in TWikiPreferences, and can be overwritten by user preferences (your personal topic, i.e. TWikiGuest in the TWiki.Main web)
Preferences:
List of topics of the TWiki.Personal/Jorge web:
Set WEBTITLE = Personal.Jorge Sousa Pinto
Web specific background color: (Pick a lighter one of the StandardColors)
If yes, Set SITEMAPLIST = on, and add the "what" and "use to..." description for the site map. Make sure to list only links that include the name of the web, e.g. Personal/Jorge.Topic links.
Set SITEMAPLIST = on
Set SITEMAPWHAT = Personal.Jorge Sousa Pinto's Web.
Set SITEMAPUSETO = ...collaborate on
Exclude web from a web="all" search: (Set to on for hidden webs)
Set NOSEARCHALL =
Default template for new topics and form(s) for this web:
WebTopicEditTemplate? : Default template for new topics in this web. (Site-level is used if topic does not exist)
A preference is defined as: 6 spaces * Set NAME = value Example:
Set WEBBGCOLOR = #FFFFC0
Preferences are used as TWikiVariables by enclosing the name in percent signs. Example:
When you write variable %WEBBGCOLOR% , it gets expanded to #00CCFF .
The sequential order of the preference settings is significant. Define preferences that use other preferences first, i.e. set WEBCOPYRIGHT before WIKIWEBMASTER since %WEBCOPYRIGHT% uses the %WIKIWEBMASTER% variable.
You can introduce new preferences variables and use them in your topics and templates. There is no need to change the TWiki engine (Perl scripts).
TWiki's Personal/Jorge web
http://wiki.di.uminho.pt/twiki/bin/view/Personal/Jorge
The web for users, groups and offices. TWiki is a Web-Based Collaboration Platform for the Corporate World.en-usCopyright 2020 by contributing authorsTWiki Administrator [webmaster@di.uminho.pt]The contributing authors of TWikiTWikiDIUM.Personal/Jorge
http://wiki.di.uminho.pt/twiki/bin/view/Personal/Jorge
/twiki/pub/Main/LocalLogos/um_eengP.jpgWebPreferences
http://wiki.di.uminho.pt/twiki/bin/view/Personal/Jorge/WebPreferences
TWiki.Personal/Jorge Web Preferences The following settings are web preferences of the TWiki.Personal/Jorge web. These preferences overwrite the site level preferences ... (last changed by JorgeSousaPinto)2009-02-19T20:45:14ZJorgeSousaPintoDraftsPage
http://wiki.di.uminho.pt/twiki/bin/view/Personal/Jorge/DraftsPage
Safety critical systems are pervasive in the aerospace industry EXPAND . The development of safety critical systems to be certified as highly safe requires various ... (last changed by JorgeSousaPinto)2009-02-19T20:42:17ZJorgeSousaPintoPubsCctc
http://wiki.di.uminho.pt/twiki/bin/view/Personal/Jorge/PubsCctc
Abelha Bacelar Almeida João Almeida, J.J. Almeida Sérgio Almeida Alves César Analide Azevedo, J. Azevedo, Jorge de Sousa Azevedo Baquero Barbosa Soares Barbosa Barros ... (last changed by JorgeSousaPinto)2007-06-14T09:49:54ZJorgeSousaPintoWebSearchAdvanced
http://wiki.di.uminho.pt/twiki/bin/view/Personal/Jorge/WebSearchAdvanced
(last changed by TWikiGuest)2007-05-17T14:51:19ZguestTpCp0506
http://wiki.di.uminho.pt/twiki/bin/view/Personal/Jorge/TpCp0506
Notas Miniteste Prático Cálculo de Programas 2005 06 Carla Marisa Dias da Costa 33629 15 Isabel Maria Afonso Fernandes 33643 ^ Rui Dinis da ... (last changed by JoseBacelarAlmeida)2007-02-12T19:43:37ZJoseBacelarAlmeidaWebHome
http://wiki.di.uminho.pt/twiki/bin/view/Personal/Jorge/WebHome
JorgeSousaPinto JorgeSousaPinto 04 Feb 2004 (last changed by JorgeSousaPinto)2006-09-19T11:25:00ZJorgeSousaPintoMenuTopics
http://wiki.di.uminho.pt/twiki/bin/view/Personal/Jorge/MenuTopics
Home (last changed by JorgeSousaPinto)2005-07-05T18:37:32ZJorgeSousaPintoWebLeftBar
http://wiki.di.uminho.pt/twiki/bin/view/Personal/Jorge/WebLeftBar
Web Web Home Changes Index Search Webs (last changed by ArthurClemens)2004-08-16T09:01:46ZArthurClemensWebRss
http://wiki.di.uminho.pt/twiki/bin/view/Personal/Jorge/WebRss
TWiki's Personal/Jorge web /view/Personal/Jorge The web for users, groups and offices. TWiki is a Web Based Collaboration Platform for the Corporate World. (last changed by PeterThoeny)2003-01-30T08:14:09ZPeterThoenyWebNotify
http://wiki.di.uminho.pt/twiki/bin/view/Personal/Jorge/WebNotify
This is a subscription service to be automatically notified by e mail when topics change in this Personal/Jorge web. This is a convenient service, so you do not ... (last changed by PeterThoeny)2003-01-25T10:04:00ZPeterThoenyWebIndex
http://wiki.di.uminho.pt/twiki/bin/view/Personal/Jorge/WebIndex
See also the faster WebTopicList (last changed by PeterThoeny)2001-11-24T11:36:34ZPeterThoenyWebTopicList
http://wiki.di.uminho.pt/twiki/bin/view/Personal/Jorge/WebTopicList
See also the verbose WebIndex. (last changed by PeterThoeny)2001-11-24T11:36:04ZPeterThoenyWebChanges
http://wiki.di.uminho.pt/twiki/bin/view/Personal/Jorge/WebChanges
(last changed by PeterThoeny)2001-08-16T19:56:31ZPeterThoenyWebSearch
http://wiki.di.uminho.pt/twiki/bin/view/Personal/Jorge/WebSearch
(last changed by PeterThoeny)2001-08-08T05:57:50ZPeterThoeny
Safety-critical systems are pervasive in the aerospace industry
[EXPAND].
The development of safety-critical systems to be certified as highly
safe requires various different skills and the use of a number of
techniques from programming real-time applications to validation
methods including testing and formal verification.
This document describes a research-based doctoral programme
particularly targeted at the aerospace industry's human resources
necessities in the area of computing. The programme trains researchers
with a strong background in topics related to safety-critical
systems. It comprises a first year of taught courses, followed by a
research project leading to a thesis.
The first year is structured around a number of core courses to be
taken by all students, together with a choice of elective
courses. Moreover, the program also offers a few unifying courses to
cover the foundations required by core courses. The offer of core
course encompasses both programming, validation, and formal
techniques.
1) Unifying Courses
Logic and Algebraic Foundations
Concurrent and Real-time Programming
2) Core Courses
Formal Systems Modeling
Model Checking: Principles and Tools
Static Analysis and Program Verification Techniques
Software Testing
Certified Safety-critical Systems
3) Elective Courses
Cryptographic Techniques
(...)
The programme brings together European research groups with expertise
in the above topics, that are involved in reserch projects in the area of safety-critical systems.
-- JorgeSousaPinto - 19 Feb 2009
TWiki.Personal/Jorge Web Preferences The following settings are web preferences of the TWiki.Personal/Jorge web. These preferences overwrite the site level preferences ...
Safety critical systems are pervasive in the aerospace industry EXPAND . The development of safety critical systems to be certified as highly safe requires various ...
TWiki's Personal/Jorge web /view/Personal/Jorge The web for users, groups and offices. TWiki is a Web Based Collaboration Platform for the Corporate World.
This is a subscription service to be automatically notified by e mail when topics change in this Personal/Jorge web. This is a convenient service, so you do not ...
Safety critical systems are pervasive in the aerospace industry EXPAND . The development of safety critical systems to be certified as highly safe requires various ...
This is a subscription service to be automatically notified by e mail when topics change in this Personal/Jorge web. This is a convenient service, so you do not ...
TWiki.Personal/Jorge Web Preferences The following settings are web preferences of the TWiki.Personal/Jorge web. These preferences overwrite the site level preferences ...
TWiki's Personal/Jorge web /view/Personal/Jorge The web for users, groups and offices. TWiki is a Web Based Collaboration Platform for the Corporate World.
This is a subscription service to be automatically notified by e-mail when topics change in this Personal/Jorge web. This is a convenient service, so you do not have to come back and check all the time if something has changed. To subscribe, please add a bullet with your WikiName in alphabetical order to this list:
Format: <space><space><space>, followed by: * Main.yourWikiName (if you want that the e-mail address in your home page is used) * Main.yourWikiName - yourEmailAddress (if you want to specify a different e-mail address) * Main.anyTWikiGroup (if you want to notify all members of a particular TWikiGroup)
Related topics:TWikiUsers, TWikiRegistration
The following settings are web preferences of the TWiki.Personal/Jorge web. These preferences overwrite the site-level preferences in TWikiPreferences, and can be overwritten by user preferences (your personal topic, i.e. TWikiGuest in the TWiki.Main web)
Preferences:
List of topics of the TWiki.Personal/Jorge web:
Set WEBTITLE = Personal.Jorge Sousa Pinto
Web specific background color: (Pick a lighter one of the StandardColors)
If yes, Set SITEMAPLIST = on, and add the "what" and "use to..." description for the site map. Make sure to list only links that include the name of the web, e.g. Personal/Jorge.Topic links.
Set SITEMAPLIST = on
Set SITEMAPWHAT = Personal.Jorge Sousa Pinto's Web.
Set SITEMAPUSETO = ...collaborate on
Exclude web from a web="all" search: (Set to on for hidden webs)
Set NOSEARCHALL =
Default template for new topics and form(s) for this web:
WebTopicEditTemplate? : Default template for new topics in this web. (Site-level is used if topic does not exist)
A preference is defined as: 6 spaces * Set NAME = value Example:
Set WEBBGCOLOR = #FFFFC0
Preferences are used as TWikiVariables by enclosing the name in percent signs. Example:
When you write variable %WEBBGCOLOR% , it gets expanded to #00CCFF .
The sequential order of the preference settings is significant. Define preferences that use other preferences first, i.e. set WEBCOPYRIGHT before WIKIWEBMASTER since %WEBCOPYRIGHT% uses the %WIKIWEBMASTER% variable.
You can introduce new preferences variables and use them in your topics and templates. There is no need to change the TWiki engine (Perl scripts).
TWiki's Personal/Jorge web
http://wiki.di.uminho.pt/twiki/bin/view/Personal/Jorge
The web for users, groups and offices. TWiki is a Web-Based Collaboration Platform for the Corporate World.en-usCopyright 2020 by contributing authorsTWiki Administrator [webmaster@di.uminho.pt]The contributing authors of TWikiTWikiDIUM.Personal/Jorge
http://wiki.di.uminho.pt/twiki/bin/view/Personal/Jorge
/twiki/pub/Main/LocalLogos/um_eengP.jpgWebPreferences
http://wiki.di.uminho.pt/twiki/bin/view/Personal/Jorge/WebPreferences
TWiki.Personal/Jorge Web Preferences The following settings are web preferences of the TWiki.Personal/Jorge web. These preferences overwrite the site level preferences ... (last changed by JorgeSousaPinto)2009-02-19T20:45:14ZJorgeSousaPintoDraftsPage
http://wiki.di.uminho.pt/twiki/bin/view/Personal/Jorge/DraftsPage
Safety critical systems are pervasive in the aerospace industry EXPAND . The development of safety critical systems to be certified as highly safe requires various ... (last changed by JorgeSousaPinto)2009-02-19T20:42:17ZJorgeSousaPintoPubsCctc
http://wiki.di.uminho.pt/twiki/bin/view/Personal/Jorge/PubsCctc
Abelha Bacelar Almeida João Almeida, J.J. Almeida Sérgio Almeida Alves César Analide Azevedo, J. Azevedo, Jorge de Sousa Azevedo Baquero Barbosa Soares Barbosa Barros ... (last changed by JorgeSousaPinto)2007-06-14T09:49:54ZJorgeSousaPintoWebSearchAdvanced
http://wiki.di.uminho.pt/twiki/bin/view/Personal/Jorge/WebSearchAdvanced
(last changed by TWikiGuest)2007-05-17T14:51:19ZguestTpCp0506
http://wiki.di.uminho.pt/twiki/bin/view/Personal/Jorge/TpCp0506
Notas Miniteste Prático Cálculo de Programas 2005 06 Carla Marisa Dias da Costa 33629 15 Isabel Maria Afonso Fernandes 33643 ^ Rui Dinis da ... (last changed by JoseBacelarAlmeida)2007-02-12T19:43:37ZJoseBacelarAlmeidaWebHome
http://wiki.di.uminho.pt/twiki/bin/view/Personal/Jorge/WebHome
JorgeSousaPinto JorgeSousaPinto 04 Feb 2004 (last changed by JorgeSousaPinto)2006-09-19T11:25:00ZJorgeSousaPintoMenuTopics
http://wiki.di.uminho.pt/twiki/bin/view/Personal/Jorge/MenuTopics
Home (last changed by JorgeSousaPinto)2005-07-05T18:37:32ZJorgeSousaPintoWebLeftBar
http://wiki.di.uminho.pt/twiki/bin/view/Personal/Jorge/WebLeftBar
Web Web Home Changes Index Search Webs (last changed by ArthurClemens)2004-08-16T09:01:46ZArthurClemensWebRss
http://wiki.di.uminho.pt/twiki/bin/view/Personal/Jorge/WebRss
TWiki's Personal/Jorge web /view/Personal/Jorge The web for users, groups and offices. TWiki is a Web Based Collaboration Platform for the Corporate World. (last changed by PeterThoeny)2003-01-30T08:14:09ZPeterThoenyWebNotify
http://wiki.di.uminho.pt/twiki/bin/view/Personal/Jorge/WebNotify
This is a subscription service to be automatically notified by e mail when topics change in this Personal/Jorge web. This is a convenient service, so you do not ... (last changed by PeterThoeny)2003-01-25T10:04:00ZPeterThoenyWebIndex
http://wiki.di.uminho.pt/twiki/bin/view/Personal/Jorge/WebIndex
See also the faster WebTopicList (last changed by PeterThoeny)2001-11-24T11:36:34ZPeterThoenyWebTopicList
http://wiki.di.uminho.pt/twiki/bin/view/Personal/Jorge/WebTopicList
See also the verbose WebIndex. (last changed by PeterThoeny)2001-11-24T11:36:04ZPeterThoenyWebChanges
http://wiki.di.uminho.pt/twiki/bin/view/Personal/Jorge/WebChanges
(last changed by PeterThoeny)2001-08-16T19:56:31ZPeterThoenyWebSearch
http://wiki.di.uminho.pt/twiki/bin/view/Personal/Jorge/WebSearch
(last changed by PeterThoeny)2001-08-08T05:57:50ZPeterThoeny
If you already know the name of the topic, enter the name of the topic into the 
List topics that start with the letter: 
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.