aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/docs/src/components/UseCases/index.tsx
diff options
context:
space:
mode:
Diffstat (limited to 'subprojects/docs/src/components/UseCases/index.tsx')
-rw-r--r--subprojects/docs/src/components/UseCases/index.tsx106
1 files changed, 106 insertions, 0 deletions
diff --git a/subprojects/docs/src/components/UseCases/index.tsx b/subprojects/docs/src/components/UseCases/index.tsx
new file mode 100644
index 00000000..c9570cc6
--- /dev/null
+++ b/subprojects/docs/src/components/UseCases/index.tsx
@@ -0,0 +1,106 @@
1/*
2 * SPDX-FileCopyrightText: 2024 The Refinery Authors
3 *
4 * SPDX-License-Identifier: EPL-2.0
5 */
6
7import Link from '@docusaurus/Link';
8import clsx from 'clsx';
9
10import styles from './index.module.css';
11import Uc1 from './uc1.svg';
12import Uc2 from './uc2.svg';
13import Uc3 from './uc3.svg';
14import Uc4 from './uc4.svg';
15import Uc5 from './uc5.svg';
16import Uc6 from './uc6.svg';
17
18function UseCase({
19 icon,
20 title,
21 href,
22}: {
23 icon: React.ReactNode;
24 title: React.ReactNode;
25 href: string;
26}) {
27 return (
28 <div className="col col--4">
29 <div className={styles['use-case']}>
30 <h3 className={styles['use-case__title']}>
31 <Link href={href} className={styles['use-case__link']!}>
32 {title}
33 </Link>
34 </h3>
35 <div className={styles['use-case__content']}>{icon}</div>
36 </div>
37 </div>
38 );
39}
40
41export default function UseCases() {
42 return (
43 <>
44 <div className="row">
45 <UseCase
46 icon={<Uc1 />}
47 title={
48 <>
49 <b>Scenario generation</b> for testing autonomous vechicles
50 </>
51 }
52 href="https://doi.org/10.1007/s10270-021-00884-z"
53 />
54 <UseCase
55 icon={<Uc2 />}
56 title={
57 <>
58 <b>Conformance checking</b> of modeling toolchains
59 </>
60 }
61 href="https://doi.org/10.1007/s10009-019-00530-6"
62 />
63 <UseCase
64 icon={<Uc3 />}
65 title={
66 <>
67 Synthesize distributed <b>communication networks</b>
68 </>
69 }
70 href="https://doi.org/10.1109/TSE.2020.3025732"
71 />
72 </div>
73 <div className={clsx('row', styles['row--bottom'])}>
74 <UseCase
75 icon={<Uc4 />}
76 title={
77 <>
78 <b>Execution time analysis</b> for <span>data-driven</span>{' '}
79 critical systems
80 </>
81 }
82 href="https://doi.org/10.1145/3471904"
83 />
84 <UseCase
85 icon={<Uc5 />}
86 title={
87 <>
88 <b>Generative architectures</b> with assured resilience
89 </>
90 }
91 href="https://doi.org/10.1145/3550355.3552448"
92 />
93 <UseCase
94 icon={<Uc6 />}
95 title={
96 <>
97 <b>Video game map generator</b> with <span>model-based</span>{' '}
98 techniques
99 </>
100 }
101 href="https://doi.org/10.1145/3417990.3422001"
102 />
103 </div>
104 </>
105 );
106}