Advanced search options

Advanced Search Options 🞨

Browse by author name (“Author name starts with…”).

Find ETDs with:

in
/  
in
/  
in
/  
in

Written in Published in Earliest date Latest date

Sorted by

Results per page:

Sorted by: relevance · author · university · dateNew search

Language: English

You searched for subject:(SysML). Showing records 1 – 29 of 29 total matches.

Search Limiters

Last 2 Years | English Only

▼ Search Limiters

1. Chaves Café, Daniel. Multi-level modeling for verification and synthesis of complex systems in a multi-physics context. : Modélisation Multi-Paradigme pour la Synthèse et la Validation de Systèmes Complexes en Environnement Multi-Physique.

Degree: Docteur es, Informatique (STIC), 2015, Supélec

À l'ère de systèmes électroniques intégrés, les ingénieurs font face au défi de concevoir et de tester des systèmes hétérogènes contenant des parties analogiques, numériques,… (more)

Subjects/Keywords: Modélisation hétérogène; SysML; SystemC-AMS; VHDL-AMS; Adaptation sémantique; Heterogeneous modeling; SysML; SystemC-AMS; VHDL-AMS; Semantic adaptation; 378.242

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Chaves Café, D. (2015). Multi-level modeling for verification and synthesis of complex systems in a multi-physics context. : Modélisation Multi-Paradigme pour la Synthèse et la Validation de Systèmes Complexes en Environnement Multi-Physique. (Doctoral Dissertation). Supélec. Retrieved from http://www.theses.fr/2015SUPL0019

Chicago Manual of Style (16th Edition):

Chaves Café, Daniel. “Multi-level modeling for verification and synthesis of complex systems in a multi-physics context. : Modélisation Multi-Paradigme pour la Synthèse et la Validation de Systèmes Complexes en Environnement Multi-Physique.” 2015. Doctoral Dissertation, Supélec. Accessed October 14, 2019. http://www.theses.fr/2015SUPL0019.

MLA Handbook (7th Edition):

Chaves Café, Daniel. “Multi-level modeling for verification and synthesis of complex systems in a multi-physics context. : Modélisation Multi-Paradigme pour la Synthèse et la Validation de Systèmes Complexes en Environnement Multi-Physique.” 2015. Web. 14 Oct 2019.

Vancouver:

Chaves Café D. Multi-level modeling for verification and synthesis of complex systems in a multi-physics context. : Modélisation Multi-Paradigme pour la Synthèse et la Validation de Systèmes Complexes en Environnement Multi-Physique. [Internet] [Doctoral dissertation]. Supélec; 2015. [cited 2019 Oct 14]. Available from: http://www.theses.fr/2015SUPL0019.

Council of Science Editors:

Chaves Café D. Multi-level modeling for verification and synthesis of complex systems in a multi-physics context. : Modélisation Multi-Paradigme pour la Synthèse et la Validation de Systèmes Complexes en Environnement Multi-Physique. [Doctoral Dissertation]. Supélec; 2015. Available from: http://www.theses.fr/2015SUPL0019

2. LIMA, Lucas Albertins de. Formalisation of SysML design models and an analysis strategy using refinement .

Degree: 2016, Universidade Federal de Pernambuco

 The increasing complexity of systems has led to increasing difficulty in design. Thestandard approach to development, based on trial and error, with testing used at… (more)

Subjects/Keywords: Álgebra de processos; CML; CSP; refinamento. automação; SysML; semântica; Process algebra; CML; CSP; CSP; refinement. Automation; SysML; Semantics

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

LIMA, L. A. d. (2016). Formalisation of SysML design models and an analysis strategy using refinement . (Thesis). Universidade Federal de Pernambuco. Retrieved from https://repositorio.ufpe.br/handle/123456789/17636

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

LIMA, Lucas Albertins de. “Formalisation of SysML design models and an analysis strategy using refinement .” 2016. Thesis, Universidade Federal de Pernambuco. Accessed October 14, 2019. https://repositorio.ufpe.br/handle/123456789/17636.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

LIMA, Lucas Albertins de. “Formalisation of SysML design models and an analysis strategy using refinement .” 2016. Web. 14 Oct 2019.

Vancouver:

LIMA LAd. Formalisation of SysML design models and an analysis strategy using refinement . [Internet] [Thesis]. Universidade Federal de Pernambuco; 2016. [cited 2019 Oct 14]. Available from: https://repositorio.ufpe.br/handle/123456789/17636.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

LIMA LAd. Formalisation of SysML design models and an analysis strategy using refinement . [Thesis]. Universidade Federal de Pernambuco; 2016. Available from: https://repositorio.ufpe.br/handle/123456789/17636

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

3. Chaves Café, Daniel. Multi-level modeling for verification and synthesis of complex systems in a multi-physics context. : Modélisation Multi-Paradigme pour la Synthèse et la Validation de Systèmes Complexes en Environnement Multi-Physique.

Degree: Docteur es, Informatique (STIC), 2015, CentraleSupélec

À l'ère de systèmes électroniques intégrés, les ingénieurs font face au défi de concevoir et de tester des systèmes hétérogènes contenant des parties analogiques, numériques,… (more)

Subjects/Keywords: Modélisation hétérogène; SysML; SystemC-AMS; VHDL-AMS; Adaptation sémantique; Heterogeneous modeling; SysML; SystemC-AMS; VHDL-AMS; Semantic adaptation; 378.242

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Chaves Café, D. (2015). Multi-level modeling for verification and synthesis of complex systems in a multi-physics context. : Modélisation Multi-Paradigme pour la Synthèse et la Validation de Systèmes Complexes en Environnement Multi-Physique. (Doctoral Dissertation). CentraleSupélec. Retrieved from http://www.theses.fr/2015CSUP0019

Chicago Manual of Style (16th Edition):

Chaves Café, Daniel. “Multi-level modeling for verification and synthesis of complex systems in a multi-physics context. : Modélisation Multi-Paradigme pour la Synthèse et la Validation de Systèmes Complexes en Environnement Multi-Physique.” 2015. Doctoral Dissertation, CentraleSupélec. Accessed October 14, 2019. http://www.theses.fr/2015CSUP0019.

MLA Handbook (7th Edition):

Chaves Café, Daniel. “Multi-level modeling for verification and synthesis of complex systems in a multi-physics context. : Modélisation Multi-Paradigme pour la Synthèse et la Validation de Systèmes Complexes en Environnement Multi-Physique.” 2015. Web. 14 Oct 2019.

Vancouver:

Chaves Café D. Multi-level modeling for verification and synthesis of complex systems in a multi-physics context. : Modélisation Multi-Paradigme pour la Synthèse et la Validation de Systèmes Complexes en Environnement Multi-Physique. [Internet] [Doctoral dissertation]. CentraleSupélec; 2015. [cited 2019 Oct 14]. Available from: http://www.theses.fr/2015CSUP0019.

Council of Science Editors:

Chaves Café D. Multi-level modeling for verification and synthesis of complex systems in a multi-physics context. : Modélisation Multi-Paradigme pour la Synthèse et la Validation de Systèmes Complexes en Environnement Multi-Physique. [Doctoral Dissertation]. CentraleSupélec; 2015. Available from: http://www.theses.fr/2015CSUP0019

4. Liang, Feng. Modeling in Modelica and SysML of System Engineering at Scania Applied to Fuel Level Display.

Degree: The Institute of Technology, 2012, Linköping UniversityLinköping University

  The main objective of this thesis is to introduce a four perspectives structure in order to provide one solution for traceability and dependability in… (more)

Subjects/Keywords: Model Based System Engineering; Modelica; SysML; Requirement Verification

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Liang, F. (2012). Modeling in Modelica and SysML of System Engineering at Scania Applied to Fuel Level Display. (Thesis). Linköping UniversityLinköping University. Retrieved from http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-84829

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Liang, Feng. “Modeling in Modelica and SysML of System Engineering at Scania Applied to Fuel Level Display.” 2012. Thesis, Linköping UniversityLinköping University. Accessed October 14, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-84829.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Liang, Feng. “Modeling in Modelica and SysML of System Engineering at Scania Applied to Fuel Level Display.” 2012. Web. 14 Oct 2019.

Vancouver:

Liang F. Modeling in Modelica and SysML of System Engineering at Scania Applied to Fuel Level Display. [Internet] [Thesis]. Linköping UniversityLinköping University; 2012. [cited 2019 Oct 14]. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-84829.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Liang F. Modeling in Modelica and SysML of System Engineering at Scania Applied to Fuel Level Display. [Thesis]. Linköping UniversityLinköping University; 2012. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-84829

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


IUPUI

5. Alai, Shashank P. Evaluating ARCADIA/Capella vs. OOSEM/SysML for System Architecture Development.

Degree: 2019, IUPUI

Indiana University-Purdue University Indianapolis (IUPUI)

Systems Engineering is catching pace in many segments of product manufacturing industries. Model-Based Systems Engineering (MBSE) is the formalized application… (more)

Subjects/Keywords: systems engineering; MBSE; system architecture modeling; SysML; ARCADIA; Capella

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Alai, S. P. (2019). Evaluating ARCADIA/Capella vs. OOSEM/SysML for System Architecture Development. (Thesis). IUPUI. Retrieved from http://hdl.handle.net/1805/19641

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Alai, Shashank P. “Evaluating ARCADIA/Capella vs. OOSEM/SysML for System Architecture Development.” 2019. Thesis, IUPUI. Accessed October 14, 2019. http://hdl.handle.net/1805/19641.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Alai, Shashank P. “Evaluating ARCADIA/Capella vs. OOSEM/SysML for System Architecture Development.” 2019. Web. 14 Oct 2019.

Vancouver:

Alai SP. Evaluating ARCADIA/Capella vs. OOSEM/SysML for System Architecture Development. [Internet] [Thesis]. IUPUI; 2019. [cited 2019 Oct 14]. Available from: http://hdl.handle.net/1805/19641.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Alai SP. Evaluating ARCADIA/Capella vs. OOSEM/SysML for System Architecture Development. [Thesis]. IUPUI; 2019. Available from: http://hdl.handle.net/1805/19641

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


IUPUI

6. Alai, Shashank P. Evaluating ARCADIA/Capella vs. OOSEM/SysML for System Architecture Development.

Degree: 2019, IUPUI

Indiana University-Purdue University Indianapolis (IUPUI)

Systems Engineering is catching pace in many segments of product manufacturing industries. Model-Based Systems Engineering (MBSE) is the formalized application… (more)

Subjects/Keywords: systems engineering; MBSE; system architecture modeling; SysML; ARCADIA; Capella

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Alai, S. P. (2019). Evaluating ARCADIA/Capella vs. OOSEM/SysML for System Architecture Development. (Thesis). IUPUI. Retrieved from http://hdl.handle.net/1805/19766

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Alai, Shashank P. “Evaluating ARCADIA/Capella vs. OOSEM/SysML for System Architecture Development.” 2019. Thesis, IUPUI. Accessed October 14, 2019. http://hdl.handle.net/1805/19766.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Alai, Shashank P. “Evaluating ARCADIA/Capella vs. OOSEM/SysML for System Architecture Development.” 2019. Web. 14 Oct 2019.

Vancouver:

Alai SP. Evaluating ARCADIA/Capella vs. OOSEM/SysML for System Architecture Development. [Internet] [Thesis]. IUPUI; 2019. [cited 2019 Oct 14]. Available from: http://hdl.handle.net/1805/19766.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Alai SP. Evaluating ARCADIA/Capella vs. OOSEM/SysML for System Architecture Development. [Thesis]. IUPUI; 2019. Available from: http://hdl.handle.net/1805/19766

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

7. Bouaziz, Hamida. Adaptation of SysML Blocks and Verification of Temporal Properties : Adptation des Blocs sysML et verification des propriétés temporelles.

Degree: Docteur es, Informatique, 2016, Besançon

Le travail présenté dans cette thèse a lieu dans le domaine de développement basé sur les composants, il est une contribution à laspécification, l'adaptation et… (more)

Subjects/Keywords: SysML; Adaptation; Verification; Développement basé sur les composants; Compatibilité; Automates d'interface; Réseaux de Petri colorés; Exigences; SysML; Adaptation; Vérification; Interface automata; Compatibility; Coloured Petri nets; Component-based development; Requirements; 004

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Bouaziz, H. (2016). Adaptation of SysML Blocks and Verification of Temporal Properties : Adptation des Blocs sysML et verification des propriétés temporelles. (Doctoral Dissertation). Besançon. Retrieved from http://www.theses.fr/2016BESA2015

Chicago Manual of Style (16th Edition):

Bouaziz, Hamida. “Adaptation of SysML Blocks and Verification of Temporal Properties : Adptation des Blocs sysML et verification des propriétés temporelles.” 2016. Doctoral Dissertation, Besançon. Accessed October 14, 2019. http://www.theses.fr/2016BESA2015.

MLA Handbook (7th Edition):

Bouaziz, Hamida. “Adaptation of SysML Blocks and Verification of Temporal Properties : Adptation des Blocs sysML et verification des propriétés temporelles.” 2016. Web. 14 Oct 2019.

Vancouver:

Bouaziz H. Adaptation of SysML Blocks and Verification of Temporal Properties : Adptation des Blocs sysML et verification des propriétés temporelles. [Internet] [Doctoral dissertation]. Besançon; 2016. [cited 2019 Oct 14]. Available from: http://www.theses.fr/2016BESA2015.

Council of Science Editors:

Bouaziz H. Adaptation of SysML Blocks and Verification of Temporal Properties : Adptation des Blocs sysML et verification des propriétés temporelles. [Doctoral Dissertation]. Besançon; 2016. Available from: http://www.theses.fr/2016BESA2015

8. Bagnato, Alessandra. Modeling and verification in model-based software engineering : application to embedded systems : Modélisation et vérification dans l'ingénierie dirigée par les modèles : application aux systèmes embarqués.

Degree: Docteur es, Informatique, 2013, Evry, Institut national des télécommunications

Les systèmes embarqués, y compris les dispositifs, l’intergiciel et le logiciel pour la création de sous-systèmes intelligents capables de gérer le contrôle d’appareils électroniques, font… (more)

Subjects/Keywords: Ingénierie dirigée par les modèles; UML; SysML; Temps réel et systèmes embarqués; Model driven engineering; UML; SysML; Real-time and embedded systems

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Bagnato, A. (2013). Modeling and verification in model-based software engineering : application to embedded systems : Modélisation et vérification dans l'ingénierie dirigée par les modèles : application aux systèmes embarqués. (Doctoral Dissertation). Evry, Institut national des télécommunications. Retrieved from http://www.theses.fr/2013TELE0004

Chicago Manual of Style (16th Edition):

Bagnato, Alessandra. “Modeling and verification in model-based software engineering : application to embedded systems : Modélisation et vérification dans l'ingénierie dirigée par les modèles : application aux systèmes embarqués.” 2013. Doctoral Dissertation, Evry, Institut national des télécommunications. Accessed October 14, 2019. http://www.theses.fr/2013TELE0004.

MLA Handbook (7th Edition):

Bagnato, Alessandra. “Modeling and verification in model-based software engineering : application to embedded systems : Modélisation et vérification dans l'ingénierie dirigée par les modèles : application aux systèmes embarqués.” 2013. Web. 14 Oct 2019.

Vancouver:

Bagnato A. Modeling and verification in model-based software engineering : application to embedded systems : Modélisation et vérification dans l'ingénierie dirigée par les modèles : application aux systèmes embarqués. [Internet] [Doctoral dissertation]. Evry, Institut national des télécommunications; 2013. [cited 2019 Oct 14]. Available from: http://www.theses.fr/2013TELE0004.

Council of Science Editors:

Bagnato A. Modeling and verification in model-based software engineering : application to embedded systems : Modélisation et vérification dans l'ingénierie dirigée par les modèles : application aux systèmes embarqués. [Doctoral Dissertation]. Evry, Institut national des télécommunications; 2013. Available from: http://www.theses.fr/2013TELE0004


KTH

9. Lekamani, Sarangi Veeramani. Model Based Systems Engineering Approach to Autonomous Driving : Application of SysML for trajectory planning of autonomous vehicle.

Degree: Electrical Engineering and Computer Science (EECS), 2018, KTH

Model Based Systems Engineering (MBSE) approach aims at implementing various processes of Systems Engineering (SE) through diagrams that provide different perspectives of the same… (more)

Subjects/Keywords: MBSE; SysML; Trajectory planning; ROS; Autonomous driving; MBSE; SysML; Banplanering; ROS; Autonom körning; Electrical Engineering, Electronic Engineering, Information Engineering; Elektroteknik och elektronik

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Lekamani, S. V. (2018). Model Based Systems Engineering Approach to Autonomous Driving : Application of SysML for trajectory planning of autonomous vehicle. (Thesis). KTH. Retrieved from http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-254891

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Lekamani, Sarangi Veeramani. “Model Based Systems Engineering Approach to Autonomous Driving : Application of SysML for trajectory planning of autonomous vehicle.” 2018. Thesis, KTH. Accessed October 14, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-254891.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Lekamani, Sarangi Veeramani. “Model Based Systems Engineering Approach to Autonomous Driving : Application of SysML for trajectory planning of autonomous vehicle.” 2018. Web. 14 Oct 2019.

Vancouver:

Lekamani SV. Model Based Systems Engineering Approach to Autonomous Driving : Application of SysML for trajectory planning of autonomous vehicle. [Internet] [Thesis]. KTH; 2018. [cited 2019 Oct 14]. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-254891.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Lekamani SV. Model Based Systems Engineering Approach to Autonomous Driving : Application of SysML for trajectory planning of autonomous vehicle. [Thesis]. KTH; 2018. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-254891

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

10. Gauthier, Jean-Marie. Combining Discrete and Continuous Domains for SysML-Based Simulation and Test Generation : Unification des ensembles discrets et continus pour la simulation et la génération de tests à partir de modèles sysML.

Degree: Docteur es, Informatique, 2015, Besançon

Les travaux de recherche menés au cours de cette thèse s'inscrivent dans le cadre de la modélisation, de la vérification et de la validation de… (more)

Subjects/Keywords: Simulation; Génération de tests; SysML; Validation; Animation; Test generation; MBSE; MDA; 004; 621.39

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Gauthier, J. (2015). Combining Discrete and Continuous Domains for SysML-Based Simulation and Test Generation : Unification des ensembles discrets et continus pour la simulation et la génération de tests à partir de modèles sysML. (Doctoral Dissertation). Besançon. Retrieved from http://www.theses.fr/2015BESA2053

Chicago Manual of Style (16th Edition):

Gauthier, Jean-Marie. “Combining Discrete and Continuous Domains for SysML-Based Simulation and Test Generation : Unification des ensembles discrets et continus pour la simulation et la génération de tests à partir de modèles sysML.” 2015. Doctoral Dissertation, Besançon. Accessed October 14, 2019. http://www.theses.fr/2015BESA2053.

MLA Handbook (7th Edition):

Gauthier, Jean-Marie. “Combining Discrete and Continuous Domains for SysML-Based Simulation and Test Generation : Unification des ensembles discrets et continus pour la simulation et la génération de tests à partir de modèles sysML.” 2015. Web. 14 Oct 2019.

Vancouver:

Gauthier J. Combining Discrete and Continuous Domains for SysML-Based Simulation and Test Generation : Unification des ensembles discrets et continus pour la simulation et la génération de tests à partir de modèles sysML. [Internet] [Doctoral dissertation]. Besançon; 2015. [cited 2019 Oct 14]. Available from: http://www.theses.fr/2015BESA2053.

Council of Science Editors:

Gauthier J. Combining Discrete and Continuous Domains for SysML-Based Simulation and Test Generation : Unification des ensembles discrets et continus pour la simulation et la génération de tests à partir de modèles sysML. [Doctoral Dissertation]. Besançon; 2015. Available from: http://www.theses.fr/2015BESA2053

11. Ahmad, Saleem Zubair. Analyzing Suitability of SysML for System Engineering Applications.

Degree: 2007, , Department of Systems and Software Engineering

  During last decade UML have to face different tricky challenges. For instance as a single unified, general purpose modeling language it should offer simple… (more)

Subjects/Keywords: modeling; domain; SysML; suitability; software-centric; Software Engineering; Programvaruteknik

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Ahmad, S. Z. (2007). Analyzing Suitability of SysML for System Engineering Applications. (Thesis). , Department of Systems and Software Engineering. Retrieved from http://urn.kb.se/resolve?urn=urn:nbn:se:bth-6178

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Ahmad, Saleem Zubair. “Analyzing Suitability of SysML for System Engineering Applications.” 2007. Thesis, , Department of Systems and Software Engineering. Accessed October 14, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:bth-6178.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Ahmad, Saleem Zubair. “Analyzing Suitability of SysML for System Engineering Applications.” 2007. Web. 14 Oct 2019.

Vancouver:

Ahmad SZ. Analyzing Suitability of SysML for System Engineering Applications. [Internet] [Thesis]. , Department of Systems and Software Engineering; 2007. [cited 2019 Oct 14]. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:bth-6178.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Ahmad SZ. Analyzing Suitability of SysML for System Engineering Applications. [Thesis]. , Department of Systems and Software Engineering; 2007. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:bth-6178

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Delft University of Technology

12. García García, J. M. Visualization of SysML Project Meta-Model Architecture and Evolution:.

Degree: 2013, Delft University of Technology

 Large and complex projects, such as infrastructure, often require the collaboration of multiple parties and disciplines, where an structured interdisciplinary methodology is necessary: Systems Engineering.… (more)

Subjects/Keywords: systems engineering; systems modeling language; SysML; enterprise architect; model traceability; model visualization; model evolution; goal-question-metric; model based systems engineering

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

García García, J. M. (2013). Visualization of SysML Project Meta-Model Architecture and Evolution:. (Masters Thesis). Delft University of Technology. Retrieved from http://resolver.tudelft.nl/uuid:7b958de6-2087-42d9-96e6-31a6b14072fc

Chicago Manual of Style (16th Edition):

García García, J M. “Visualization of SysML Project Meta-Model Architecture and Evolution:.” 2013. Masters Thesis, Delft University of Technology. Accessed October 14, 2019. http://resolver.tudelft.nl/uuid:7b958de6-2087-42d9-96e6-31a6b14072fc.

MLA Handbook (7th Edition):

García García, J M. “Visualization of SysML Project Meta-Model Architecture and Evolution:.” 2013. Web. 14 Oct 2019.

Vancouver:

García García JM. Visualization of SysML Project Meta-Model Architecture and Evolution:. [Internet] [Masters thesis]. Delft University of Technology; 2013. [cited 2019 Oct 14]. Available from: http://resolver.tudelft.nl/uuid:7b958de6-2087-42d9-96e6-31a6b14072fc.

Council of Science Editors:

García García JM. Visualization of SysML Project Meta-Model Architecture and Evolution:. [Masters Thesis]. Delft University of Technology; 2013. Available from: http://resolver.tudelft.nl/uuid:7b958de6-2087-42d9-96e6-31a6b14072fc

13. HE NANXI. CONCEPTUAL COST MODELING OF INNOVATIVE INDUSTRIAL ESTATES USING SYSML AND CASE-BASED REASONING.

Degree: 2016, National University of Singapore

Subjects/Keywords: conceptual construction cost estimate; case-based reasoning; SysML modeling

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

NANXI, H. (2016). CONCEPTUAL COST MODELING OF INNOVATIVE INDUSTRIAL ESTATES USING SYSML AND CASE-BASED REASONING. (Thesis). National University of Singapore. Retrieved from http://scholarbank.nus.edu.sg/handle/10635/135466

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

NANXI, HE. “CONCEPTUAL COST MODELING OF INNOVATIVE INDUSTRIAL ESTATES USING SYSML AND CASE-BASED REASONING.” 2016. Thesis, National University of Singapore. Accessed October 14, 2019. http://scholarbank.nus.edu.sg/handle/10635/135466.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

NANXI, HE. “CONCEPTUAL COST MODELING OF INNOVATIVE INDUSTRIAL ESTATES USING SYSML AND CASE-BASED REASONING.” 2016. Web. 14 Oct 2019.

Vancouver:

NANXI H. CONCEPTUAL COST MODELING OF INNOVATIVE INDUSTRIAL ESTATES USING SYSML AND CASE-BASED REASONING. [Internet] [Thesis]. National University of Singapore; 2016. [cited 2019 Oct 14]. Available from: http://scholarbank.nus.edu.sg/handle/10635/135466.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

NANXI H. CONCEPTUAL COST MODELING OF INNOVATIVE INDUSTRIAL ESTATES USING SYSML AND CASE-BASED REASONING. [Thesis]. National University of Singapore; 2016. Available from: http://scholarbank.nus.edu.sg/handle/10635/135466

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

14. Padilla Gaeta, Jesús Alejandro. Modeling and Implementing Variability in Aerospace Systems Product Lines.

Degree: 2014, University of Waterloo

 Avionics systems are becoming indispensable on both military and civil aircraft. As more and more of their vital functions are controlled by electronic devices, their… (more)

Subjects/Keywords: software product line; variability; SysML; SCADE; avionics

…s t❤❡ ♣❛rts t❤❛t ❛r❡ ✹ UML 2 UML Not Required by SysML (UML – UML4SysML)… …SysML UML Reused by SysML (UML4SysML) SysML extensions to UML (SysML Profile… …ts ❡♥✈✐r♦♥ ❡♥t✳ ✺ SysML Diagram Behavior Diagram Activity Diagram Sequence Diagram… 

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Padilla Gaeta, J. A. (2014). Modeling and Implementing Variability in Aerospace Systems Product Lines. (Thesis). University of Waterloo. Retrieved from http://hdl.handle.net/10012/8917

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Padilla Gaeta, Jesús Alejandro. “Modeling and Implementing Variability in Aerospace Systems Product Lines.” 2014. Thesis, University of Waterloo. Accessed October 14, 2019. http://hdl.handle.net/10012/8917.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Padilla Gaeta, Jesús Alejandro. “Modeling and Implementing Variability in Aerospace Systems Product Lines.” 2014. Web. 14 Oct 2019.

Vancouver:

Padilla Gaeta JA. Modeling and Implementing Variability in Aerospace Systems Product Lines. [Internet] [Thesis]. University of Waterloo; 2014. [cited 2019 Oct 14]. Available from: http://hdl.handle.net/10012/8917.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Padilla Gaeta JA. Modeling and Implementing Variability in Aerospace Systems Product Lines. [Thesis]. University of Waterloo; 2014. Available from: http://hdl.handle.net/10012/8917

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

15. Höglund, Charlie. Guidelines for UML or SysML modelling within an enterprise architecture.

Degree: Design and Engineering, 2017, Mälardalen University

  Enterprise Architectures (EA) are used to describe an enterprise’s structure in a standardized way. An Enterprise Architecture also provides decision-support when choosing a direction… (more)

Subjects/Keywords: UML; SYSML; modelling; modeling; UML; SYSML; Engineering and Technology; Teknik och teknologier

…diagram categorized as a general SysML diagram is the following: The requirements diagram… …the requirements. [4] Figure 2 - SysML diagrams. 2.4 Requirements Requirements… …Using system models (e.g. UML or SysML diagrams) makes it easier to capture… …SysML modelling Kruus et al. [9] write that systems need to be carefully modelled… …the issues of teaching UML and SysML modelling to computer and systems engineering students… 

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Höglund, C. (2017). Guidelines for UML or SysML modelling within an enterprise architecture. (Thesis). Mälardalen University. Retrieved from http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-35620

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Höglund, Charlie. “Guidelines for UML or SysML modelling within an enterprise architecture.” 2017. Thesis, Mälardalen University. Accessed October 14, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-35620.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Höglund, Charlie. “Guidelines for UML or SysML modelling within an enterprise architecture.” 2017. Web. 14 Oct 2019.

Vancouver:

Höglund C. Guidelines for UML or SysML modelling within an enterprise architecture. [Internet] [Thesis]. Mälardalen University; 2017. [cited 2019 Oct 14]. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-35620.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Höglund C. Guidelines for UML or SysML modelling within an enterprise architecture. [Thesis]. Mälardalen University; 2017. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-35620

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

16. Branscomb, Jaclyn Marie. Supporting multidisciplinary analysis using system architectures in SysML.

Degree: MS, Mechanical Engineering, 2012, Georgia Tech

 To develop competitive vehicles with ever increasing complexity, automotive designers need to improve their ability to explore a broad range of system architectures efficiently and… (more)

Subjects/Keywords: System architectures; Simulink; Modelica; SysML; SysML (Computer science); Simulation methods; Systems engineering; Mathematical models

…68 Figure 44. Generating the file containing the SysML to Modelica translation… …Figure 47. Initiating SysML to Simulink Transformation… …91 Figure A 8. Generating the file containing the SysML to Modelica translation… …95 Figure A 12. Initiating SysML to Simulink Transformation… …analysis templates can be redefined for the specific vehicle program under analysis. The SysML… 

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Branscomb, J. M. (2012). Supporting multidisciplinary analysis using system architectures in SysML. (Masters Thesis). Georgia Tech. Retrieved from http://hdl.handle.net/1853/48989

Chicago Manual of Style (16th Edition):

Branscomb, Jaclyn Marie. “Supporting multidisciplinary analysis using system architectures in SysML.” 2012. Masters Thesis, Georgia Tech. Accessed October 14, 2019. http://hdl.handle.net/1853/48989.

MLA Handbook (7th Edition):

Branscomb, Jaclyn Marie. “Supporting multidisciplinary analysis using system architectures in SysML.” 2012. Web. 14 Oct 2019.

Vancouver:

Branscomb JM. Supporting multidisciplinary analysis using system architectures in SysML. [Internet] [Masters thesis]. Georgia Tech; 2012. [cited 2019 Oct 14]. Available from: http://hdl.handle.net/1853/48989.

Council of Science Editors:

Branscomb JM. Supporting multidisciplinary analysis using system architectures in SysML. [Masters Thesis]. Georgia Tech; 2012. Available from: http://hdl.handle.net/1853/48989

17. Carrillo Rozo, Oscar. Formal and incremental verification of SysML for the design of component-based system : Vérification formelle et incrémentale de spécifications SysML pour la conception de systèmes à base de composants.

Degree: Docteur es, Informatique, 2015, Besançon

Vérification Formelle et Incrémentale de Spécifications SysML pour la Conception de Systèmes à Base de ComposantsLe travail présenté dans cette thèse est une contribution à… (more)

Subjects/Keywords: Modélisation; Spéciications SysML; Architecture SBC; Raffinement; Compatibilité; Exigences; Propriétés LTL; Promela/ SPIN; Ptolemy; MIO Workbench; Modeling; SysML speciications; CBS architecture; Refinement; Compatibility; Requirements; LTL properties; Promela/SPIN; Ptolemy; MIO Workbench; 003

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Carrillo Rozo, O. (2015). Formal and incremental verification of SysML for the design of component-based system : Vérification formelle et incrémentale de spécifications SysML pour la conception de systèmes à base de composants. (Doctoral Dissertation). Besançon. Retrieved from http://www.theses.fr/2015BESA2017

Chicago Manual of Style (16th Edition):

Carrillo Rozo, Oscar. “Formal and incremental verification of SysML for the design of component-based system : Vérification formelle et incrémentale de spécifications SysML pour la conception de systèmes à base de composants.” 2015. Doctoral Dissertation, Besançon. Accessed October 14, 2019. http://www.theses.fr/2015BESA2017.

MLA Handbook (7th Edition):

Carrillo Rozo, Oscar. “Formal and incremental verification of SysML for the design of component-based system : Vérification formelle et incrémentale de spécifications SysML pour la conception de systèmes à base de composants.” 2015. Web. 14 Oct 2019.

Vancouver:

Carrillo Rozo O. Formal and incremental verification of SysML for the design of component-based system : Vérification formelle et incrémentale de spécifications SysML pour la conception de systèmes à base de composants. [Internet] [Doctoral dissertation]. Besançon; 2015. [cited 2019 Oct 14]. Available from: http://www.theses.fr/2015BESA2017.

Council of Science Editors:

Carrillo Rozo O. Formal and incremental verification of SysML for the design of component-based system : Vérification formelle et incrémentale de spécifications SysML pour la conception de systèmes à base de composants. [Doctoral Dissertation]. Besançon; 2015. Available from: http://www.theses.fr/2015BESA2017

18. Abdulhameed, Abbas Abdulazeez. Combining SysML and SystemC to Simulate and Verify Complex Systems : Utilisation conjointé de SysML et systemC pour simmuler et vérifier les systèmes complexes.

Degree: Docteur es, Informatique, 2016, Besançon

De nombreux systèmes hétérogènes sont complexes et critiques. Ces systèmes intègrent du logiciel et des composants matériels avec des interactions fortes entre ces composants. Dans… (more)

Subjects/Keywords: Spéciications SysML; Diagrammes de block; Ingénierie Dirigée par les Modéles IDM; SystemC; Simulation; Vérification; Exigences; Propriétés LTL; Model-Checking; Promela/SPIN; STATE tool; SysML speciications; Block diagrams; Model Driven Engineering MDE; SystemC; Simulation; Verification; Requirements; LTL properties; Model-Checking; Promela/SPIN; STATE tool; UPPAAL; 003

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Abdulhameed, A. A. (2016). Combining SysML and SystemC to Simulate and Verify Complex Systems : Utilisation conjointé de SysML et systemC pour simmuler et vérifier les systèmes complexes. (Doctoral Dissertation). Besançon. Retrieved from http://www.theses.fr/2016BESA2045

Chicago Manual of Style (16th Edition):

Abdulhameed, Abbas Abdulazeez. “Combining SysML and SystemC to Simulate and Verify Complex Systems : Utilisation conjointé de SysML et systemC pour simmuler et vérifier les systèmes complexes.” 2016. Doctoral Dissertation, Besançon. Accessed October 14, 2019. http://www.theses.fr/2016BESA2045.

MLA Handbook (7th Edition):

Abdulhameed, Abbas Abdulazeez. “Combining SysML and SystemC to Simulate and Verify Complex Systems : Utilisation conjointé de SysML et systemC pour simmuler et vérifier les systèmes complexes.” 2016. Web. 14 Oct 2019.

Vancouver:

Abdulhameed AA. Combining SysML and SystemC to Simulate and Verify Complex Systems : Utilisation conjointé de SysML et systemC pour simmuler et vérifier les systèmes complexes. [Internet] [Doctoral dissertation]. Besançon; 2016. [cited 2019 Oct 14]. Available from: http://www.theses.fr/2016BESA2045.

Council of Science Editors:

Abdulhameed AA. Combining SysML and SystemC to Simulate and Verify Complex Systems : Utilisation conjointé de SysML et systemC pour simmuler et vérifier les systèmes complexes. [Doctoral Dissertation]. Besançon; 2016. Available from: http://www.theses.fr/2016BESA2045

19. Gómez Cárdenas, Carlos Ernesto. Une approche multi-vue pour la modélisation système de propriétés fonctionnelles et non-fonctionnelles : Modeling functional and non-functional properties of systems based on a multi-view approach.

Degree: Docteur es, Informatique, 2013, Nice

Au niveau système, un ensemble d'experts spécifient des propriétés fonctionnelles et non fonctionnelles en utilisant chacun leurs propres modèles théoriques, outils et environnements. Chacun essaye… (more)

Subjects/Keywords: Multi-vue; IEEE-42010; IDM; UML; MARTE; SysM; CCSL; MoC; Modèles hétérogènes; Consommation de puissance; Multi-view; IEEE-42010; MDE; UML; MARTE; SysML; CCSL; MoC; Heterogeneous models; Power consumption

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Gómez Cárdenas, C. E. (2013). Une approche multi-vue pour la modélisation système de propriétés fonctionnelles et non-fonctionnelles : Modeling functional and non-functional properties of systems based on a multi-view approach. (Doctoral Dissertation). Nice. Retrieved from http://www.theses.fr/2013NICE4153

Chicago Manual of Style (16th Edition):

Gómez Cárdenas, Carlos Ernesto. “Une approche multi-vue pour la modélisation système de propriétés fonctionnelles et non-fonctionnelles : Modeling functional and non-functional properties of systems based on a multi-view approach.” 2013. Doctoral Dissertation, Nice. Accessed October 14, 2019. http://www.theses.fr/2013NICE4153.

MLA Handbook (7th Edition):

Gómez Cárdenas, Carlos Ernesto. “Une approche multi-vue pour la modélisation système de propriétés fonctionnelles et non-fonctionnelles : Modeling functional and non-functional properties of systems based on a multi-view approach.” 2013. Web. 14 Oct 2019.

Vancouver:

Gómez Cárdenas CE. Une approche multi-vue pour la modélisation système de propriétés fonctionnelles et non-fonctionnelles : Modeling functional and non-functional properties of systems based on a multi-view approach. [Internet] [Doctoral dissertation]. Nice; 2013. [cited 2019 Oct 14]. Available from: http://www.theses.fr/2013NICE4153.

Council of Science Editors:

Gómez Cárdenas CE. Une approche multi-vue pour la modélisation système de propriétés fonctionnelles et non-fonctionnelles : Modeling functional and non-functional properties of systems based on a multi-view approach. [Doctoral Dissertation]. Nice; 2013. Available from: http://www.theses.fr/2013NICE4153


University of Central Florida

20. Wells, Wilfred Henry. Development Of A Cognitive Work Analysis Framework Tutorial Using Systems Modeling Language.

Degree: 2011, University of Central Florida

 At the present time, most systems engineers do not have access to cognitive work analysis information or training in terms they can understand. This may… (more)

Subjects/Keywords: Human computer interaction; SysML (Computer science); Systems engineering; Engineering; Industrial Engineering; Dissertations, Academic  – Engineering and Computer Science, Engineering and Computer Science  – Dissertations, Academic

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Wells, W. H. (2011). Development Of A Cognitive Work Analysis Framework Tutorial Using Systems Modeling Language. (Doctoral Dissertation). University of Central Florida. Retrieved from https://stars.library.ucf.edu/etd/1727

Chicago Manual of Style (16th Edition):

Wells, Wilfred Henry. “Development Of A Cognitive Work Analysis Framework Tutorial Using Systems Modeling Language.” 2011. Doctoral Dissertation, University of Central Florida. Accessed October 14, 2019. https://stars.library.ucf.edu/etd/1727.

MLA Handbook (7th Edition):

Wells, Wilfred Henry. “Development Of A Cognitive Work Analysis Framework Tutorial Using Systems Modeling Language.” 2011. Web. 14 Oct 2019.

Vancouver:

Wells WH. Development Of A Cognitive Work Analysis Framework Tutorial Using Systems Modeling Language. [Internet] [Doctoral dissertation]. University of Central Florida; 2011. [cited 2019 Oct 14]. Available from: https://stars.library.ucf.edu/etd/1727.

Council of Science Editors:

Wells WH. Development Of A Cognitive Work Analysis Framework Tutorial Using Systems Modeling Language. [Doctoral Dissertation]. University of Central Florida; 2011. Available from: https://stars.library.ucf.edu/etd/1727


Université Paris-Sud – Paris XI

21. Woźniak, Ernest. Model-based Synthesis of Distributed Real-time Automotive Architectures : Synthèse basée sur les modèles d’architectures automobiles temps réel distribuées.

Degree: Docteur es, Informatique, 2014, Université Paris-Sud – Paris XI

Les solutions basées sur le logiciel/matériel jouent un rôle important dans le domaine de l'automobile. Il est de plus en plus fréquent que l’implémentation de… (more)

Subjects/Keywords: Ingénierie dirigée par les modèles; Systèmes automobiles; Systèmes temps réel; Systèmes distribués; Temps budget; Optimisation; Algorithme évolutionniste; SysML; UML; MARTE; AUTOSAR; EAST-ADL2; Cadre de l'architecture automobile; Model Driven Engineering; Automotive Systems; Real-Time Systems; Distributed Systems; Time Budget; Optimization; Evolutionary Algorithms; SysML; UML; MARTE; AUTOSAR; EAST-ADL2; Automotive Architecture Framework

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Woźniak, E. (2014). Model-based Synthesis of Distributed Real-time Automotive Architectures : Synthèse basée sur les modèles d’architectures automobiles temps réel distribuées. (Doctoral Dissertation). Université Paris-Sud – Paris XI. Retrieved from http://www.theses.fr/2014PA112145

Chicago Manual of Style (16th Edition):

Woźniak, Ernest. “Model-based Synthesis of Distributed Real-time Automotive Architectures : Synthèse basée sur les modèles d’architectures automobiles temps réel distribuées.” 2014. Doctoral Dissertation, Université Paris-Sud – Paris XI. Accessed October 14, 2019. http://www.theses.fr/2014PA112145.

MLA Handbook (7th Edition):

Woźniak, Ernest. “Model-based Synthesis of Distributed Real-time Automotive Architectures : Synthèse basée sur les modèles d’architectures automobiles temps réel distribuées.” 2014. Web. 14 Oct 2019.

Vancouver:

Woźniak E. Model-based Synthesis of Distributed Real-time Automotive Architectures : Synthèse basée sur les modèles d’architectures automobiles temps réel distribuées. [Internet] [Doctoral dissertation]. Université Paris-Sud – Paris XI; 2014. [cited 2019 Oct 14]. Available from: http://www.theses.fr/2014PA112145.

Council of Science Editors:

Woźniak E. Model-based Synthesis of Distributed Real-time Automotive Architectures : Synthèse basée sur les modèles d’architectures automobiles temps réel distribuées. [Doctoral Dissertation]. Université Paris-Sud – Paris XI; 2014. Available from: http://www.theses.fr/2014PA112145


Texas A&M University

22. Gallart Hamilton, Diana. Model-based Systems Engineering for Design, Management, and Governance of Protective Systems.

Degree: 2017, Texas A&M University

 The failure of protective systems can be catastrophic, and has its origin in management. Yet, most engineering works regarding protective systems focus on their physical… (more)

Subjects/Keywords: protective systems; MBSE; model-based systems engineering; MOC; SysML; design; management; governance; protection layers; layers of protection; process safety; process safety management system; physical components; management system; policy; laws and regulation; stakeholders; lifecycle; safety; information asymmetry; catastrophe; systems engineering; management of change; impact analysis

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Gallart Hamilton, D. (2017). Model-based Systems Engineering for Design, Management, and Governance of Protective Systems. (Thesis). Texas A&M University. Retrieved from http://hdl.handle.net/1969.1/161317

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Gallart Hamilton, Diana. “Model-based Systems Engineering for Design, Management, and Governance of Protective Systems.” 2017. Thesis, Texas A&M University. Accessed October 14, 2019. http://hdl.handle.net/1969.1/161317.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Gallart Hamilton, Diana. “Model-based Systems Engineering for Design, Management, and Governance of Protective Systems.” 2017. Web. 14 Oct 2019.

Vancouver:

Gallart Hamilton D. Model-based Systems Engineering for Design, Management, and Governance of Protective Systems. [Internet] [Thesis]. Texas A&M University; 2017. [cited 2019 Oct 14]. Available from: http://hdl.handle.net/1969.1/161317.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Gallart Hamilton D. Model-based Systems Engineering for Design, Management, and Governance of Protective Systems. [Thesis]. Texas A&M University; 2017. Available from: http://hdl.handle.net/1969.1/161317

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

23. Valdes, Francisco Javier. Manufacturing compliance analysis for architectural design: a knowledge-aided feature-based modeling framework.

Degree: PhD, Architecture, 2016, Georgia Tech

 Given that achieving nominal (all dimensions are theoretically perfect) geometry is challenging during building construction, understanding and anticipating sources of geometric variation through tolerances modeling… (more)

Subjects/Keywords: BIM; SysML; System modeling; Model based systems engineering; Architecture; Construction tolerances

…6.3. (DSL) SysML-CAD semantic integration through Domain Specific Languages… …112 6.4. Representation of CAD data structures in SysML 114 6.5. General description of… …Cylindrical Fit 117 6.7. Structural Decomposition: Meta-modeling CAD geometry into SysML 121… …SysML diagrams 47 Figure 10 Block Definition Diagram (bdd) structural… …x29; 52 Figure 14 Activity Diagram SysML. Valdes. Sun (2012) 54 Figure 15… 

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Valdes, F. J. (2016). Manufacturing compliance analysis for architectural design: a knowledge-aided feature-based modeling framework. (Doctoral Dissertation). Georgia Tech. Retrieved from http://hdl.handle.net/1853/54973

Chicago Manual of Style (16th Edition):

Valdes, Francisco Javier. “Manufacturing compliance analysis for architectural design: a knowledge-aided feature-based modeling framework.” 2016. Doctoral Dissertation, Georgia Tech. Accessed October 14, 2019. http://hdl.handle.net/1853/54973.

MLA Handbook (7th Edition):

Valdes, Francisco Javier. “Manufacturing compliance analysis for architectural design: a knowledge-aided feature-based modeling framework.” 2016. Web. 14 Oct 2019.

Vancouver:

Valdes FJ. Manufacturing compliance analysis for architectural design: a knowledge-aided feature-based modeling framework. [Internet] [Doctoral dissertation]. Georgia Tech; 2016. [cited 2019 Oct 14]. Available from: http://hdl.handle.net/1853/54973.

Council of Science Editors:

Valdes FJ. Manufacturing compliance analysis for architectural design: a knowledge-aided feature-based modeling framework. [Doctoral Dissertation]. Georgia Tech; 2016. Available from: http://hdl.handle.net/1853/54973

24. Lee, Bryan. Applying systems modeling and case study methodologies to develop building information modeling for masonry construction.

Degree: MS, Civil and Environmental Engineering, 2015, Georgia Tech

 Building Information Modeling, or BIM, is a digital representation of physical and functional characteristics of a facility that serves as a shared resource for information… (more)

Subjects/Keywords: BIM; Masonry; Construction; Model-based systems engineering; SysML; Building information modeling; Case study methodology; Systems modeling

…diagram stm State machine diagram SysML Systems Modeling Language uc Use case diagram x… …Modeling Language, or SysML, is one of the process modeling tools we can use to model and analyze… …Language The Systems Modeling Language (SysML) is an emerging tool for model-based… …and business processes. The complex systems described by SysML can include hardware… …software, data, personnel, procedures, facilities, and more. SysML can represent structure… 

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Lee, B. (2015). Applying systems modeling and case study methodologies to develop building information modeling for masonry construction. (Masters Thesis). Georgia Tech. Retrieved from http://hdl.handle.net/1853/53602

Chicago Manual of Style (16th Edition):

Lee, Bryan. “Applying systems modeling and case study methodologies to develop building information modeling for masonry construction.” 2015. Masters Thesis, Georgia Tech. Accessed October 14, 2019. http://hdl.handle.net/1853/53602.

MLA Handbook (7th Edition):

Lee, Bryan. “Applying systems modeling and case study methodologies to develop building information modeling for masonry construction.” 2015. Web. 14 Oct 2019.

Vancouver:

Lee B. Applying systems modeling and case study methodologies to develop building information modeling for masonry construction. [Internet] [Masters thesis]. Georgia Tech; 2015. [cited 2019 Oct 14]. Available from: http://hdl.handle.net/1853/53602.

Council of Science Editors:

Lee B. Applying systems modeling and case study methodologies to develop building information modeling for masonry construction. [Masters Thesis]. Georgia Tech; 2015. Available from: http://hdl.handle.net/1853/53602


Australian National University

25. Boughton, Carol Joyce. Modelling the management of nature reserves .

Degree: 2015, Australian National University

 Protection of Earth’s natural systems takes many forms, with the establishment of nature reserves dedicated and managed to achieve long-term protection a key global intent.… (more)

Subjects/Keywords: nature reserve management; modelling management; modeling management; DoDAF; SysML; nature reserve management system; survey of nature reserve managers; systems modelling; systems modeling; Barren Grounds Nature Reserve; Archbold Biological Station; architecture framework; parks management; conservation

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Boughton, C. J. (2015). Modelling the management of nature reserves . (Thesis). Australian National University. Retrieved from http://hdl.handle.net/1885/101121

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Boughton, Carol Joyce. “Modelling the management of nature reserves .” 2015. Thesis, Australian National University. Accessed October 14, 2019. http://hdl.handle.net/1885/101121.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Boughton, Carol Joyce. “Modelling the management of nature reserves .” 2015. Web. 14 Oct 2019.

Vancouver:

Boughton CJ. Modelling the management of nature reserves . [Internet] [Thesis]. Australian National University; 2015. [cited 2019 Oct 14]. Available from: http://hdl.handle.net/1885/101121.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Boughton CJ. Modelling the management of nature reserves . [Thesis]. Australian National University; 2015. Available from: http://hdl.handle.net/1885/101121

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

26. Sprock, Timothy A. A metamodel of operational control for discrete event logistics systems.

Degree: PhD, Industrial and Systems Engineering, 2016, Georgia Tech

 Discrete Event Logistics Systems (DELS) are a class of dynamic systems that are defined by the transformation of discrete flows through a network of interconnected… (more)

Subjects/Keywords: Discrete event logistics systems; Modeling; Analysis; SysML; Model-based-systems engineering; Operations research; Engineering analysis; Formal modeling

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Sprock, T. A. (2016). A metamodel of operational control for discrete event logistics systems. (Doctoral Dissertation). Georgia Tech. Retrieved from http://hdl.handle.net/1853/54946

Chicago Manual of Style (16th Edition):

Sprock, Timothy A. “A metamodel of operational control for discrete event logistics systems.” 2016. Doctoral Dissertation, Georgia Tech. Accessed October 14, 2019. http://hdl.handle.net/1853/54946.

MLA Handbook (7th Edition):

Sprock, Timothy A. “A metamodel of operational control for discrete event logistics systems.” 2016. Web. 14 Oct 2019.

Vancouver:

Sprock TA. A metamodel of operational control for discrete event logistics systems. [Internet] [Doctoral dissertation]. Georgia Tech; 2016. [cited 2019 Oct 14]. Available from: http://hdl.handle.net/1853/54946.

Council of Science Editors:

Sprock TA. A metamodel of operational control for discrete event logistics systems. [Doctoral Dissertation]. Georgia Tech; 2016. Available from: http://hdl.handle.net/1853/54946

27. Bailey, William. Using model-based methods to support vehicle analysis planning.

Degree: MS, Mechanical Engineering, 2013, Georgia Tech

 Vehicle system analysis models are becoming crucial to automotive designers wishing to better understand vehicle-level attributes and how they vary under different operating conditions. Such… (more)

Subjects/Keywords: Systems engineering; SysML; Modelica; Simulink; Model-based; Automotive; Vehicle; Systems engineering; Vehicles Design and construction; Computer simulation

…LIST OF TABLES Appendix B Table B1. Valid XML attributes for different SysML elements… …67 Figure 24. Analysis application SysML model… …85 Figure 34. Generating Modelica model from SysML… …86 Figure 35. Modelica code generated from SysML model… …integrated system model. Commonly, the Systems Modeling Language (SysML) is used to… 

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Bailey, W. (2013). Using model-based methods to support vehicle analysis planning. (Masters Thesis). Georgia Tech. Retrieved from http://hdl.handle.net/1853/50377

Chicago Manual of Style (16th Edition):

Bailey, William. “Using model-based methods to support vehicle analysis planning.” 2013. Masters Thesis, Georgia Tech. Accessed October 14, 2019. http://hdl.handle.net/1853/50377.

MLA Handbook (7th Edition):

Bailey, William. “Using model-based methods to support vehicle analysis planning.” 2013. Web. 14 Oct 2019.

Vancouver:

Bailey W. Using model-based methods to support vehicle analysis planning. [Internet] [Masters thesis]. Georgia Tech; 2013. [cited 2019 Oct 14]. Available from: http://hdl.handle.net/1853/50377.

Council of Science Editors:

Bailey W. Using model-based methods to support vehicle analysis planning. [Masters Thesis]. Georgia Tech; 2013. Available from: http://hdl.handle.net/1853/50377

28. Brown, Barclay. A New Paradigm Integrating Business Process Modeling and Use Case Modeling.

Degree: 2015, University of Central Florida

 The goal of this research is to develop a new paradigm integrating the practices of business process modeling and use case modeling. These two modeling… (more)

Subjects/Keywords: Business process modeling; use cases; use case modeling; systems engineering; requirements; conops; mission scenarios; bpmn; sysml; uml; Engineering; Industrial Engineering

…Modeling Notation OMG Object Management Group SysML Systems Modeling Language UML Unified… 

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Brown, B. (2015). A New Paradigm Integrating Business Process Modeling and Use Case Modeling. (Doctoral Dissertation). University of Central Florida. Retrieved from https://stars.library.ucf.edu/etd/57

Chicago Manual of Style (16th Edition):

Brown, Barclay. “A New Paradigm Integrating Business Process Modeling and Use Case Modeling.” 2015. Doctoral Dissertation, University of Central Florida. Accessed October 14, 2019. https://stars.library.ucf.edu/etd/57.

MLA Handbook (7th Edition):

Brown, Barclay. “A New Paradigm Integrating Business Process Modeling and Use Case Modeling.” 2015. Web. 14 Oct 2019.

Vancouver:

Brown B. A New Paradigm Integrating Business Process Modeling and Use Case Modeling. [Internet] [Doctoral dissertation]. University of Central Florida; 2015. [cited 2019 Oct 14]. Available from: https://stars.library.ucf.edu/etd/57.

Council of Science Editors:

Brown B. A New Paradigm Integrating Business Process Modeling and Use Case Modeling. [Doctoral Dissertation]. University of Central Florida; 2015. Available from: https://stars.library.ucf.edu/etd/57

29. Thiers, George. A model-based systems engineering methodology to make engineering analysis of discrete-event logistics systems more cost-accessible.

Degree: PhD, Industrial and Systems Engineering, 2014, Georgia Tech

 This dissertation supports human decision-making with a Model-Based Systems Engineering methodology enabling engineering analysis, and in particular Operations Research analysis of discrete-event logistics systems, to… (more)

Subjects/Keywords: Modeling; Analysis; SysML; Model-based system engineering; Model-based systems engineering; Model based system engineering; Operations research; Formal modeling; Engineering analysis; Discrete event logistics system

…Oriented Modeling. . . . . . 114 72 Example: A Simple SysML User Model… …114 73 Instance Models Conforming to the SysML User Model in Figure 72. . . . . 115 74… …Illustration of the Process in this Dissertation’s Methodology. . 133 83 Example 1: SysML User… …136 86 Example 2: SysML Activity Model of a Manufacturing Process Instance. . . 139 87… …2: Apply Process Network Stereotypes to a SysML Activity Model of a Manufacturing Process… 

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Thiers, G. (2014). A model-based systems engineering methodology to make engineering analysis of discrete-event logistics systems more cost-accessible. (Doctoral Dissertation). Georgia Tech. Retrieved from http://hdl.handle.net/1853/52259

Chicago Manual of Style (16th Edition):

Thiers, George. “A model-based systems engineering methodology to make engineering analysis of discrete-event logistics systems more cost-accessible.” 2014. Doctoral Dissertation, Georgia Tech. Accessed October 14, 2019. http://hdl.handle.net/1853/52259.

MLA Handbook (7th Edition):

Thiers, George. “A model-based systems engineering methodology to make engineering analysis of discrete-event logistics systems more cost-accessible.” 2014. Web. 14 Oct 2019.

Vancouver:

Thiers G. A model-based systems engineering methodology to make engineering analysis of discrete-event logistics systems more cost-accessible. [Internet] [Doctoral dissertation]. Georgia Tech; 2014. [cited 2019 Oct 14]. Available from: http://hdl.handle.net/1853/52259.

Council of Science Editors:

Thiers G. A model-based systems engineering methodology to make engineering analysis of discrete-event logistics systems more cost-accessible. [Doctoral Dissertation]. Georgia Tech; 2014. Available from: http://hdl.handle.net/1853/52259

.